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.
Personal website: http://www.deepomatic.com
Research interests: Deep Learning, Proof Theory, Linear Logic, Classical Realizability
|POPL 2020||Author of Backpropagation in the Simply Typed Lambda-calculus with Linear Negation within the Research Papers-track|
|Show activities from other conferences|