Patrick BaillotScientific advisor section 06

Patrick Baillot is a CNRS research director and currently works at the Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL - CNRS/Université de Lille/Centrale Lille). He is a former student of ENS Cachan (now ENS Paris-Saclay) and holds a PhD from the University of Aix-Marseille II. After a postdoctoral fellowship at LFCS (University of Edinburgh), he joined in 2001 the LIPN (Villetaneuse) as researcher. He then moved to the LIP (Lyon) in 2008 where he served successively as head of the Plume team (Proofs and Languages) from 2012 to 2016, and director of the laboratory from 2017 to 2020.

His research focuses on logic and semantics of programming languages, as well as on their applications to type systems and formal methods.