Veronique BenzakenShort Curriculum

Current Position

  • I am Full Professor (Professeur de classe exceptionnelle) at Université Paris-Saclay.
  • Member of Laboratoire Méthodes Formelles (LMF)

Education

  • Dec 1996: Habilitation à diriger des recherches, University Paris Sud 11 (UFR des Sciences - Orsay)- Tenure.
  • Jan 1990: PhD in Computer Science, University Paris Sud 11 (UFR des Sciences - Orsay).
  • Sep 1986 DEA d'Informatique fondamentale University Denis Diderot Paris 7 (Master in Theoretical Computer Science)
  • June 1983 Diplomée de Chant et d'Art-Lyrique, Conservatoire National de Région de Grenoble (Degree in Singing and Opera Singing)

Employment Record

  • From 1998 until now: Full Professor (Professeur) at Université Paris-Saclay.
  • 1990-1998: Assistant Professor (Maître de Conférences) at Université de Paris 1 - Panthéon - Sorbonne.
  • 1986-1990: Member of the Altair Group at INRIA development of the O2 Object-Oriented Database System.

Publications

Click for the list of my publications.