Professor of software sciences at Collège de France. Designer and lead developer of the OCaml functional programming language and the CompCert verified C compiler. Interested in all scientific aspects of computer programming.