Antoine PetitPrésident-directeur général
Antoine Petit, professeur des universités de classe exceptionnelle, a été nommé président-directeur général du CNRS le 24 janvier 2018. Agrégé de mathématiques et docteur en informatique de l’université Paris Diderot, Antoine Petit est spécialiste de méthodes formelles, principalement à base de systèmes de transitions, pour la spécification et la vérification de systèmes parallèles en temps réel. Enseignant-chercheur de 1984 à 2004, il a été assistant-agrégé à l’Université d’Orléans, maître de conférences à l’Université Paris-Sud puis professeur à l'Ecole normale supérieure de Cachan en 1994. De 2001 à 2003, Antoine Petit est directeur adjoint à la Direction de la Recherche du ministère, en charge des Mathématiques et des Stic. En 2004 il est détaché au CNRS, d’abord comme directeur scientifique du département Sciences et technologies de l’information et de la communication puis comme directeur interrégional Sud-Ouest. En 2006, il rejoint Inria pour diriger le centre de recherche Paris-Rocquencourt, avant d’être nommé directeur général adjoint. En 2014, il devient président-directeur général d’Inria.
Mission du Président-directeur général
Le président-directeur général définit la politique générale de l’établissement dans le cadre des orientations arrêtées par le conseil d’administration et assure la direction scientifique, administrative et financière du centre. Il conduit les relations de l’organisme avec les établissements d’enseignement supérieur et de recherche, et avec les partenaires socio-économiques. Il est nommé en Conseil des ministres ; son mandat est de quatre ans renouvelable.