Apr 28, 2024 · Home page of Xavier Leroy, a computer scientist. Information on Xavier Leroy's research projects, courses, publications, and open-source software.

Xavier Leroy (born 15 March 1968) is a French computer scientist and programmer. He is best known for his role as a primary developer of the OCaml system. He is Professor of software science at Collège de France.

I am professor of software sciences at Collège de France, member of the French Academy of Sciences, and member of the Cambium research team at Inria Paris. My research focuses on programming lan-guages and tools, and on the formal verification of software system using program proof and static analysis.

Xavier Leroy is professor of Software sciences at Collège de France andmember of the Cambium research team of Inria Paris. He is interested in all scientific aspects of computer programming, with special focus on programming languages, functional programming, compilation, program proof, static analysis, and formal methods.

Xavier Leroy. Collège de France. Verified email at college-de-france.fr - Homepage. ... JH Jourdan, V Laporte, S Blazy, X Leroy, D Pichardie. Acm Sigplan Notices 50 (1), 247-259, 2015. 227: 2015: Managing the complexity of large free and …

Feb 21, 2023 · Xavier Leroy, researcher at Inria and professor at the Collège de France, has just been appointed to the French Academy of Sciences. This is just the latest achievement in the career of a remarkable scientist who, at the age of 54, is as committed as ever to the development of computer science.

I'm a senior computer scientist interested in all scientific aspects of computer programming, with special emphasis on functional programming languages and formal...

Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming - xavierleroy.

Xavier Leroy (né le 15 mars 1968) est un informaticien français, professeur au Collège de France et précédemment directeur de recherche à l'INRIA. Il est connu pour être le principal concepteur et développeur du langage Objective Caml ainsi que pour ses travaux sur le compilateur formellement vérifié CompCert .

Xavier Leroy studied mathematics and computer science at the École normale supérieure and Université Paris-Diderot. After a PhD in fundamental computer science in 1992 and a post-doctorate at Stanford University, he became a research fellow at Inria in 1994, then research director in 2000.