# Antoine Petit

> French computer scientist

**Wikidata**: [Q18155976](https://www.wikidata.org/wiki/Q18155976)  
**Source**: https://4ort.xyz/entity/antoine-petit

## Summary
Antoine Petit is a French computer scientist who has held leadership positions in major French research institutions. He notably served as president of the National Center for Scientific Research (CNRS) from 2018 onwards and previously as chairperson of the Institut National de Recherche en Informatique et en Automatique (Inria) from 2014 to 2018.

## Biography
- Born: June 18, 1960
- Nationality: France
- Education: Aggregation of mathematics (1982), Doctorate from Paris Diderot University (1985), Habilitation from University of Paris-Sud (1993)
- Known for: Leadership in French research institutions and work in formal methods
- Employer(s): University of Orléans (1984-1989), University of Paris-Sud, École normale supérieure Paris-Saclay (1994-2003), Institut National de Recherche en Informatique et en Automatique (Inria), National Center for Scientific Research (CNRS)
- Field(s): Computer science, formal methods

## Contributions
Antoine Petit has significantly shaped French research infrastructure throughout his career. As president of CNRS since 2018, he leads France's largest scientific research organization with over 31,970 employees. Previously, he served as chairperson of Inria from 2014 to 2018, overseeing research in computer science and control theory. His academic work focuses on formal methods in computer science, though specific publications aren't detailed in the provided source. Petit's leadership journey spans nearly four decades, moving from academic positions at universities including Paris-Sud and École normale supérieure to national scientific leadership roles. His contributions have been recognized with honors including the Knight of the Legion of Honour (2010) and Officer of the National Order of Merit (2014), reflecting his significant impact on French scientific advancement.

## FAQs
### Q: What is Antoine Petit's current position?
A: As of the last update in the source material, Antoine Petit serves as the president of the National Center for Scientific Research (CNRS), which he has held since January 2018.

### Q: What leadership positions has Antoine Petit held?
A: Antoine Petit has held several significant leadership positions, including president of CNRS (2018-present), chairperson of Inria (2014-2018), director of Inria research centers (2006-2014), and chief scientific officer at CNRS (2004-2006).

### Q: What awards has Antoine Petit received?
A: Antoine Petit has received the Knight of the Legion of Honour (2010) and the Officer of the National Order of Merit (2014), both in recognition of his contributions to French scientific research and leadership.

### Q: Where did Antoine Petit receive his education?
A: Antoine Petit received his doctorate from Paris Diderot University in 1985, advised by Luc Boasson, and obtained his habilitation from University of Paris-Sud in 1993. He also completed his aggregation of mathematics in 1982.

### Q: What is Antoine Petit's area of research?
A: Antoine Petit's primary area of research is formal methods in computer science, as indicated in his field of work in the provided source material.

## Why They Matter
Antoine Petit's significance lies in his extensive leadership of France's major scientific research institutions. As president of CNRS, he oversees an organization with over 31,970 employees playing a critical role in French scientific advancement. His previous role as chairperson of Inria positioned him at the helm of one of Europe's leading computer science research institutes. Petit exemplifies the pathway from academic research to national scientific leadership, bridging theoretical computer science with organizational governance. His influence extends beyond his direct contributions, as his leadership shapes the direction of thousands of researchers and France's position in the global scientific landscape.

## Notable For
- President of the National Center for Scientific Research (CNRS) since 2018
- Chairperson of the Institut National de Recherche en Informatique et en Automatique (Inria) from 2014 to 2018
- Knight of the Legion of Honour (2010) and Officer of the National Order of Merit (2014)
- Long career in academic and research leadership spanning nearly four decades
- Expertise in formal methods in computer science

## Body
### Early Life and Education
Antoine Petit was born on June 18, 1960. He completed his aggregation of mathematics in 1982 before earning his doctorate from Paris Diderot University in 1985, advised by Luc Boasson. Petit later obtained his habilitation from University of Paris-Sud in 1993.

### Academic Career
Petit's academic career began at the University of Orléans, where he worked from 1984 to 1989. He then joined the University of Paris-Sud as a senior lecturer, serving from 1989 to 1991. During this period, he also worked as a researcher at the National Center for Scientific Research's Laboratoire de recherche en informatique from 1991 to 1993. Petit returned to University of Paris-Sud as a senior lecturer from 1993 to 1994 before joining École normale supérieure Paris-Saclay as a university teacher, where he remained from 1994 to 2003.

### Research Leadership
In 2006, Petit became the director of Inria's Centre de Recherche Paris Rocquencourt, a position he held until 2010. During this time, he also served as chief scientific officer at CNRS from 2004 to 2006. In 2010, he took on a temporary director role at Inria's Saclay - Île-de-France Research Centre. From 2014 to 2018, Petit served as chairperson of Inria.

### National Scientific Leadership
Since 2018, Antoine Petit has served as president of the National Center for Scientific Research (CNRS), France's largest scientific research organization. In this role, he leads an organization with over 31,970 employees and plays a crucial role in shaping France's scientific research priorities and direction.

### Recognition and Honors
Petit's contributions to French science have been recognized with several honors, including being named a Knight of the Legion of Honour in 2010 and an Officer of the National Order of Merit in 2014. These awards reflect his significant impact on French scientific research and infrastructure.

### Professional Identity
As a computer scientist, Petit's field of work is formal methods. He communicates primarily in French, reflecting his French nationality and the context of his work within French institutions. Throughout his career, Petit has maintained an academic profile and presence through various online platforms and institutional affiliations.

## References

1. [Antoine Petit nommé président du CNRS](http://www.letudiant.fr/educpros/actualite/antoine-petit-nomme-president-du-cnrs.html)
2. [Antoine Petit est nommé président-directeur généraldu CNRS. 2018](http://www2.cnrs.fr/sites/communique/fichier/cp_antoine_petit_vf.pdf)
3. [Source](http://www.sudoc.fr/043512925)
4. [Source](https://www.radiofrance.fr/personnes/antoine-petit)
5. [Décret du 26 septembre 2014 portant nomination du président du conseil d'administration de l'Institut national de recherche en informatique et en automatique - M. PETIT (Antoine). Journal officiel de la République française. 2014](http://www.legifrance.gouv.fr/affichTexte.do?cidTexte=JORFTEXT000029504807)
6. [Source](https://www.sciencemag.org/news/2018/01/computer-scientist-lead-french-research-giant-interim-head-leaves-amid-misconduct)
7. [Décret du 31 décembre 2009 portant promotion et nomination. Journal officiel de la République française](http://www.legifrance.gouv.fr/affichTexte.do?cidTexte=JORFTEXT000021574032)
8. general catalog of BnF
9. Virtual International Authority File
10. [curriculum vitae](http://www.lsv.ens-cachan.fr/~petit/cv-2014.pdf)
11. [Source](https://www.lesbiographies.com/#/Biographie/PETIT-Antoine,145737)