Brièvement

Nous sommes aujourd'hui (je ne peux pas faire mieux sans JS (bien qu'on puisse faire mieux que JS...)) 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/TP en L2/L3/M1 (Programmation Fonctionnelle en OCaml et Compilation et langages).