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
- Professeur titulaire de la chaire Sciences du logiciel @ (November 2018 - Present)
- Member, Académie des sciences, Institut de France @ (December 2022 - Present)
- Directeur de recherche @ (January 2000 - October 2018)
- Ingénieur R and D @ Trusted Logic (January 1999 - January 2004)
- Chargé de recherche @ (January 1994 - January 1999)
- Assistant moniteur @ (September 1991 - December 1992)
- Intern @ (June 1989 - September 1989)
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.
Others Named Xavier Leroy
Top Collège de France Employees
Rafaela Bechara
Postdoctoral Researcher
Paris, FR
Alain Supiot
Professeur
Paris, FR
Adrien Ufferte
Développeur senior
Paris, FR
G2 Crowd Trusted
300K+ Plugin Users
© 2026 RocketReach.co