Michel is Chief Scientific Officer at Nomadic Labs, on leave from Inria (the French National Institute for Computer Science and Applied Mathematics), where he was a senior researcher and more recently Chief Executive Officer of the Inria Foundation. Michel is also a member of the Board of the Tezos Foundation. Michel’s scientific interests are mainly in the fields of programming languages: design, implementation, semantics, static analysis, and type systems. After his Ph.D. at Paris-Diderot University, Michel joined Inria in 1985 and worked on programming languages with the research group that designed and developed OCaml, the functional programming language used to implement Tezos, and the Coq proof assistant. From 1989 to 2005, Michel led the research team that further developed OCaml, and he has been a Professor of Computer Science at Ensta-ParisTech from 2005 to 2016.