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 …

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 …

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 …

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, …

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 …

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 …

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 …