Curriculum vitae

Detailed CV

09/08-: INRIA permanent full-time researcher in the Formes team at LIAMA and Tsinghua University (Beijing, China)

• 07/10-06/13: Member of the Steering Committee of RTA
• 01/09-12/11: French coordinator of the French-Chinese ANR-NSFC project SIVES on the SImulation and Verification of Embedded Systems

• PC member of RTA'11
• PC member of PPDP'10 and HOR'10
• PC member of LFMTP'09, WST'09 and Coq'09

• 03/04-: Coordinator of the CoLoR project
• 01/07-: Co-developer of Moca with Pierre Weis

10/03-08/08: INRIA permanent full-time researcher in the Protheo team at LORIA (Nancy, France)

• PC member of TPR'07
• 01/07-12/08: Coordinator of the INRIA ARC project Quotient
• 05/05-05/08: Substituting member of the recrutment committee of the University of Saint-Etienne
• 05/05-05/08: Member of the LORIA health and security committee
• 01/07-05/08: Member of the LORIA internship and postdoc recrutment committee
• 05/05-04/08: Member of the LORIA library users committee
• 01/07-05/07: Member of the LORIA committee for computing resources
• 04/05-01/07: Secretary of the SPECIF PhD Award committee
• 01/02-12/06: Member of the SPECIF PhD Award committee
• 08/05-11/06: Member of the editing committee of INédit

09/02-08/03: Postdoc at the computer laboratory LIX of the École Polytechnique (Saclay, France)

10/01-08/02: Postdoc at the computer laboratory (Automated Reasoning Group) of Cambridge University (United Kingdom), member of Wolfson College

10/98-06/01: Teaching assistant in computer science at the University Paris 11 and the Technical University of Paris 11 (Orsay)

10/98-09/01: PhD at the computer science laboratory LRI of the Université Paris-Sud 11 (Orsay, France) with Jean-Pierre Jouannaud

10/97-06/00: Examiner in mathematics and computer science in the "classes preparatoires" of the "lycées" Paul Valéry, Condorcet and Saint Louis

10/97-09/98: Master in "Semantics, proofs and programs" at the Université Paris 7 - Denis Diderot (France), currently the Master in computer science of Paris (MPRI)

11/96-08/97: Military service

09/93-09/96: French national engineering school in computer science and applied mathematics (ENSIMAG, Grenoble, France)

08/95-08/96: Internship at McGill University and Concordia University (Montreal, Canada)

10/93-06/94: B.Sc. in pure mathematics at the Université Joseph Fourier (Grenoble, France)

Last updated on 9 November 2011. Come back to main page.