CV

Formation

  • 2000 : PhD en Informatique (LORIA / Université Henri Poincaré – Nancy I)
  • 1996 : DEA en Informatique (LORIA / Université Henri Poincaré – Nancy I)
  • 1995 : Licence en informatique (Université `Politehnica’ de Bucarest, Roumanie)

Expérience professionnelle

  • 2012 – présent : Maître des conférences à l’Université de Lorraine
  • 2003 – 2011 : Maître des conférences à l’Université Paul Verlaine-Metz
  • 2002 – 2003 : ATER  à l’ESIAL (actuellement Telecom Nancy)
  • 2001 – 2002 : Postdoc INRIA à Sophia Antipolis
  • 2001 : Postdoc à SRI International (Californie, Etats-Unis) et à DIST (Gênes, Italie)
  • 2000 : Consultant INRIA
  • 1999-2000 : ATER à l’Université Henri Poincaré – Nancy I

Centres d’intérêt et compétences

  • Theorem proving using induction techniques
  • Cooperation and integration of reasoning systems, decision procedures
  • Proof certification