Write a Blog >>
Aloïs Brunel

Registered user since Tue 12 Nov 2019

Name:Aloïs Brunel
Bio:

I am an entrepreneur and research scientist. My scientific interests lie at the cross-roads of deep learning, linear logic and functional programming. Deepomatic, the company I have co-founded, is a a computer vision platform meant for companies to automate their visual processes at industrial scale.

Country:France
Affiliation:Deepomatic
Personal website:http://www.deepomatic.com
Research interests:Deep Learning, Proof Theory, Linear Logic, Classical Realizability

Contributions

LAFI 2020 Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
POPL 2020 Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
Show activities from other conferences

POPL 2020-profile
View general profile