Antoine Petit

Summary

Antoine Petit is a human^[1]. He was born on +1960-06-18T00:00:00Z^[2]. He worked as a research fellow^[3] and computer scientist^[4].

Key Facts

• Antoine Petit was born on +1960-06-18T00:00:00Z^[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's image is recorded as Antoine Petit - 2024 (cropped).jpg^[13].
• Antoine Petit is recorded as male^[14].
• Antoine Petit's instance of is recorded as human^[15].
• Antoine Petit's ISNI is recorded as 0000000440765868^[16].
• Antoine Petit's VIAF cluster ID is recorded as 195019406^[17].
• Antoine Petit's Library of Congress authority ID is recorded as n2017010690^[18].
• Antoine Petit's Bibliothèque nationale de France ID is recorded as 169796851^[19].
• Antoine Petit's IdRef ID is recorded as 095039562^[20].
• Antoine Petit's Commons category is recorded as Antoine Petit (mathematician)^[21].
• Antoine Petit earned the academic degree of doctorate^[22].
• Antoine Petit earned the academic degree of habilitation^[23].
• Antoine Petit's family name is recorded as Petit^[24].
• Antoine Petit's given name is recorded as Antoine^[25].
• Antoine Petit's official website is recorded as http://www.lsv.ens-cachan.fr/~petit/^[26].

Body

Origins and Family

Antoine Petit was born on +1960-06-18T00:00:00Z^[2].

Education

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

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^[27], in France^[28], founded in 1967^[29], headquartered in Le Chesnay^[30] and National Center for Scientific Research^[9], a French public establishment of a scientific and technological character^[31], in France^[32], founded in 1939^[33], headquartered in Paris^[34]. 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^[35], in France^[36] and Officer of the National Order of Merit^[12], a grade of an order^[37], in France^[38].

Why It Matters

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

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].