Skip to content
Fellows

Dr Xavier Leroy

Dr Xavier Leroy

Biography

Xavier Leroy is a senior research scientist at Inria where he leads the Gallium research team.  His research focuses on programming languages and tools, and on the formal verification of software using program proof and static analysis.  He is the architect and one of the main developers of the OCaml functional programming language and of the CompCert formally-verified C compiler.  He graduated from École Normale Supérieure in 1991 and received his PhD in computer science from University Paris Diderot in 1992. 

Was this page useful?
Thank you for your feedback
Thank you for your feedback. Please help us improve this page by taking our short survey.