Xavier Leroy Email & Phone Number
Professeur titulaire de la chaire Sciences du logiciel @ Collège de France
5 free lookup(s). No credit card required.
If you need more lookups,
subscriptions start at $34 USD/month.
Xavier Leroy Location
- Paris, FR
Xavier Leroy Work
- 2018 -now Professeur titulaire de la chaire Sciences du logiciel @
- 2022 -now Member, Académie des sciences, Institut de France @
- 2000 -2018 Directeur de recherche @
- 1999 -2004 Ingénieur R and D @ Trusted Logic
- 1994 -1999 Chargé de recherche @
- 1991 -1992 Assistant moniteur @
- 1989 -1989 Intern @
Xavier Leroy Education
- Stanford University
post-doc
1993-1994 - Université Paris Cité
Doctorat
1989-1992 - École normale supérieure
Magistère (licence, maîtrise, et DEA)
1987-1991
Xavier Leroy Skills
- Compilation
- Theorem Proving
- Type Systems
- Semantics
- OCaml
- Coq
- C
- Static Analysis
- Programming Languages
- Functional Programming
- Computer Science
- Software Development
Xavier Leroy Summary
- Xavier Leroy, based in Paris, FR, is currently a Professeur titulaire de la chaire Sciences du logiciel at Collège de France. Xavier Leroy brings experience from previous roles at Académie des sciences, INRIA and Trusted Logic. Xavier Leroy holds a 1993 - 1994 post-doc @ Stanford University. With a robust skill set that includes Compilation, Theorem Proving, Type Systems, Semantics, OCaml and more. Xavier Leroy has 3 emails on RocketReach.
Looking for a different Xavier Leroy?
Find contact details for 700 million professionals.
Top Collège de France Employees
Fontanet Arnaud
Guest Professor (2018-9), Public Health
Île-de-France, France
Pierre Corvol
Professeur
Paris, FR
Rafaela Bechara
Postdoctoral Researcher
Paris, FR
Alain Supiot
Professeur
Paris, FR
Lluis Quintana-Murci
Professeur
Paris, FR
Tatjana Šafarik
Postdoctoral Researcher
Paris, FR
G2 Crowd Trusted
300K+ Plugin Users
© 2026 RocketReach.co