Olivier SerreDeputy Scientific Director Section 06

 

Olivier Serre is currently a CNRS research director working at the Research Institute on the Foundations of Computer Science (IRIF - CNRS/Université de Paris).

He studied at the Cachan ENS (1999-2003) before obtaining a doctorate in computer science at the Université Paris-Diderot (now Université de Paris) in 2004. After a post-doctoral fellowship at RWTH Aachen University, he joined the LIAFA (now IRIF) as a researcher in 2005 and has been a research director since 2016.

His research covers automata theory and formal languages, games and logic, infinite structures, rewriting and verification of higher-order functional programs.