Rémi DI GUARDIA

I am a PhD student in theoretical computer science at Ecole Normale Supérieure de Lyon in the Laboratoire de l'Informatique du Parallélisme (LIP), in the Plume team. My PhD is supervised by Olivier Laurent and is focused on Linear Logic and in particular its proof-net syntax.

CV: English, Français
E-mail: remi \dot di-guardia \at ens-lyon \dot fr
Office: M7 311


Thesis

Publications

Submissions

Software Development

Talks


Teaching