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


POPL 2020Author of Backpropagation in the Simply Typed Lambda-calculus with Linear Negation within the Research Papers-track
Show activities from other conferences

Using general profile