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 team Plume. 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