Formation
- 2021 : HDR en Informatique (Université de Lorraine)
- 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
- Démonstration de théorèmes par des techniques de raisonnement par récurrence
- Coopération et intégration des systèmes de raisonnement, procédures de décision
- Certification des preuves
Mai 2022: une version plus détaillée et en anglais se trouve ici.
