Crédit photo Patrick Baillot

Patrick BaillotChargé de mission section 06

Patrick Baillot est directeur de recherche au CNRS depuis 2014 et exerce son activité au Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL - CNRS/Université de Lille/Centrale Lille). Ancien élève de l’ENS Cachan (devenue depuis ENS Paris-Saclay), agrégé de de mathématiques, il soutient sa thèse en 1999 à l’Université Aix-Marseille II. Après un postdoctorat au LFCS à l’Université d’Édimbourg il est recruté en 2001 comme chargé de recherche au LIPN (Villetaneuse). Il rejoint ensuite en 2008 le LIP (Lyon) où il est responsable de l’équipe Plume (Preuves et Langages) de 2012 à 2016, puis directeur d’unité de 2017 à 2020.

Ses activités de recherche portent sur la logique et la sémantique des langages de programmation, ainsi que sur leurs applications aux systèmes de types et aux méthodes formelles.