Brièvement

Nous sommes le et je suis toujours doctorant au LRI.
Je suis encadré par Sylvain Conchon avec qui je travaille sur le model checking de systèmes paramétrés et temporisés.

Je suis aussi moniteur au sein de l'UFR Sciences de l'Université Paris-Sud où je suis chargé de TD en L3.