Aloïs Brunel Homepage


Who am I?

I'm a 4th year student at the ENS of Lyon, and a first-year Phd student at the LIPN, in the LCR team, under the supervision of Damiano Mazza.

My scientific interests: classical realizability, linear logic, implicit complexity, geometry of interaction, COQ, type theory, ...

In a previous life I was involved in the organization of the working group Groupe de Travail Logique.

I am also currently involved in my start-up Smyle which is a visual search engine for fashion.


  • 03-2011 (Update) : Coq page updated.

  • 11-2010 (Update) : Talks page updated

Powered by CoMFoRT !