ACM_Citations
    • France-2015

      For contributions to safe, high-performance functional programming languages and compilers, and to compiler verification. Press Release

    Experience
    Education
    Bio
    Computer scientist, interested in all scientific aspects of computer programming. Architect and lead developer of the OCaml functional programming language and the CompCert formally-verified C compiler.