Prof. Antoine Petit

• University qualifications:
  ⋄ Habilitation à diriger des recherches, Université de Paris-Sud (1993)
  ⋄ PhD, Université Paris Diderot (1985)
  ⋄ Agrégation de Mathématiques (1982)

• Professional career
  ⋄ From February 2019, on leave at CNRS
    ∗ President and CEO
  ⋄ From August 2006 to January 2018, on leave at Inria, Institut National de Recherche en Informatique et Automatique
    ∗ From October 2014, President and CEO
    ∗ From September 2010 to September 2014, deputy CEO
    ∗ From August 2006 to August 2010, Director of the research center of Paris - Rocquencourt
  ⋄ From January 2004 to July 2006, on leave at CNRS, the French national center of research
    ∗ From September 2004 to Januray 2006, Regional Director for West South of France
    ∗ In 2004, Director of the Information and Communication Technologies and Sciences department
  ⋄ From 1994 to 2003, Full professor at ENS Paris-Saclay (formerly ENS de Cachan)
    ∗ From November 2001 to December 2003, Deputy director of the directorate of research of French ministry of research, in charge of mathematics and in- formation and communication sciences
    ∗ From October 1995 to October 2001, Director of the department of computer science of ENS Paris-Saclay

⋄ After a PhD on formal languages theory, my researchs have focused on the study of models, mainly based on transition systems, for parallel and timed processes. As the years go, specification and verification of such systems become one of the main motivations of my studies.

⋄ My research activities have been the subject of about fifty international publications among which 5 books, 17 journal articles and 26 conferences with proceedings and program committees. I advised 8 PhD students.

* Distinctions
  - Chevalier de la légion d’honneur
  - Officier de l’ordre national du mérite