Antoine Petit

Summary

Antoine Petit is a human^[1]. He was born on June 18, 1960^[2]. He worked as a research fellow^[3] and computer scientist^[4].

Key Facts

• Antoine Petit was born on June 18, 1960^[2].
• Antoine Petit held citizenship in France^[5].
• Antoine Petit worked as a research fellow^[3].
• Antoine Petit worked as a computer scientist^[4].
• Antoine Petit's field of work was formal methods^[6].
• Antoine Petit held the position of president of CNRS^[7].
• Antoine Petit was employed by Institut National de Recherche en Informatique et en Automatique^[8].
• Among Antoine Petit's employers was National Center for Scientific Research^[9].
• Antoine Petit's doctoral advisor was Luc Boasson^[10].
• Antoine Petit received the Knight of the Legion of Honour^[11].
• Antoine Petit received the Officer of the National Order of Merit^[12].
• Antoine Petit is recorded as male^[13].
• Antoine Petit's instance of is recorded as human^[14].
• Antoine Petit's Commons category is recorded as Antoine Petit (mathematician)^[15].
• Antoine Petit earned the academic degree of doctorate^[16].
• Antoine Petit earned the academic degree of habilitation^[17].
• Antoine Petit's family name is recorded as Petit^[18].
• Antoine Petit's given name is recorded as Antoine^[19].
• Antoine Petit's official website is recorded as http://www.lsv.ens-cachan.fr/~petit/^[20].
• Antoine Petit's languages spoken, written or signed is recorded as French^[21].
• Antoine Petit's assessment is recorded as agrégation of mathematics^[22].
• Antoine Petit's assessment is recorded as Q127781339^[23].
• Antoine Petit's writing language is recorded as French^[24].
• Antoine Petit's social media followers is recorded as {'amount': '+5920'}^[25].

Body

Origins and Family

Antoine Petit was born on June 18, 1960^[2].

Education

Antoine Petit's doctoral advisor was Luc Boasson^[10]. Academic degrees include doctorate^[16] and habilitation^[17].

Career and Affiliations

Recorded occupations include research fellow^[3] and computer scientist^[4]. Antoine Petit's field of work was formal methods^[6]. Employers include Institut National de Recherche en Informatique et en Automatique^[8], a French public establishment of a scientific and technological character^[26], in France^[27], founded in 1967^[28], headquartered in Le Chesnay^[29] and National Center for Scientific Research^[9], a French public establishment of a scientific and technological character^[30], in France^[31], founded in 1939^[32], headquartered in Paris^[33]. He held the position of president of CNRS^[7].

Recognition

Awards received include Knight of the Legion of Honour^[11], a grade of an order^[34], in France^[35] and Officer of the National Order of Merit^[12], a grade of an order^[36], in France^[37].

Why It Matters

Antoine Petit's notable doctoral advisees include Patricia Bouyer-Decitre^[38], a computer scientist^[39], b. 1976^[40], of France^[41], awarded the Presburger Award^[42].

FAQs

What did Antoine Petit do for work?

Antoine Petit worked as research fellow^[3] and computer scientist^[4].

What awards did Antoine Petit receive?

Honors received include Knight of the Legion of Honour^[11] and Officer of the National Order of Merit^[12].