Experience
Education
Bio
I 2004- Chargé de Recherche CNRS affecté au LSV (Laboratoire Spécification et Vérification), UMR 8643, ENS Cachan & CNRS. I 2003-2004 Post-doctorant INRIA au Département d’Informatique de l’Université Libre de Bruxelles, dans l’équipe de Jean-François Raskin. I 2000-2003 Allocataire Moniteur Normalien en informatique au LIFO (Laboratoire d’Informatique Fondamentale d’Orléans), Université d’Orléans & CNRS, sur « Logiques temporelles pour la vérification : expressivité, complexité, algorithmes » encadré par François Laroussinie et Philippe Schnoebelen. I 1996-2000 Étudiant à l’École Normale Supérieure de Cachan. 2000 : D.E.A. d’algorithmique cohabilité par l’ENS Cachan et l’université Paris VII, mention TB. Stage effectué au LSV, de mars à juillet. Sujet : « Complexité de la logique temporelle avec passé ». Co-encadré par François Laroussinie et Philippe Schnoebelen. 1999 : Agrégation de mathématiques. 1998 : Maîtrise de mathématiques, université Paris 7, mention bien. Maîtrise d’informatique, université Paris 7, mention très bien. 1997 : Licence de mathématiques, École Normale Supérieure de Cachan. I 1994-1996 Élève en Classes Préparatoires aux Grandes Écoles, Lycée Sainte Geneviève, Versailles. I 1994 Baccalauréat, section C (mathématiques), mention très bien.