Welcome to Armaël Guéneau

Armaël Guéneau has joined CPV as a postdoc. Armaël did his PhD at Inria Paris in the Gallium team, with Arthur Charguéraud and François Pottier. When not in the office, he enjoys hacking on OCaml-related projects and sometimes the OCaml compiler. Welcome, we look forward to working with you!