Xavier Leroy is appointed Fellow of the ACM
Xavier Leroy, head of the Gallium project team at the Inria Paris research center, is one of the new Fellows honored by the American scholarly society ACM in 2015, in a tribute to his decisive work on programming languages and compilers, their reliability and their security.
Xavier Leroy is an Inria director of research and scientific leader of the Gallium project team. His research work focuses on programming languages and tools, and on the formal verification of critical software using static analyses and program proofs. He is the architect and one of the main developers of the OCaml functional language and of the formally verified CompCert compiler. A former student at the École Normale Supérieure, he defended his thesis at Paris Diderot University in 1992, then joined Inria in 1994 following a post-doc at Stanford University. In 2007 he received the Monpetit prize from the French Académie des Sciences, followed by the information sciences research prize in 2011 and, in 2015, the Royal Society Milner award.
ACM (Association for Computing Machinery)
ACM is an international organization whose mission is to develop and support scientific research and information technology innovation.
ACM confers the title of Fellow on members as a reward for "their exceptional achievements in computer science and information technology and/or their exceptional service to ACM and the computer science community as a whole".