Yann Regis-Gianas
Yann Régis-Gianas teaches computer science at Université Paris-Diderot.
His research at the PPS laboratory focuses on the theory and the design of programming languages. He did his PhD in the INRIA team that develops OCaml and is now in the development team of the Coq proof assistant.