Section: Highlights of the Year

Highlights of the Year

Xavier Leroy received the 2016 Royal Society Milner Award “in recognition of his exceptional achievements in computer programming which includes the design and implementation of the OCaml programming language”.

Xavier Leroy received one of the two 2016 Van Wijngaarden Awards from Centrum Wiskunde & Informatica (Amsterdam).

Xavier Leroy received the ACM SIGPLAN Most Influential POPL Paper Award for his POPL 2006 paper, Formal certification of a compiler back-end or: programming a compiler with a proof assistant [51].