Write a Blog >>
Aloïs Brunel

Registered user since Tue 12 Nov 2019

Name:Aloïs Brunel

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.

Research interests:Deep Learning, Proof Theory, Linear Logic, Classical Realizability


Show activities from other conferences

POPL 2020-profile
View general profile