Xavier Leroy
Xavier Leroy | |
|---|---|
 Leroy im Jahr 2010 | |
| Geboren | 15. März 1968 |
| Staatsangehörigkeit | Französisch |
| Alma Mater | Pariser Diderot Universität |
| Wissenschaftliche Karriere | |
| Felder | Informatik |
| Institutionen | |
| Doktorand | Gérard Huet |
Xavier Leroy (Geboren am 15. März 1968) ist ein Französisch Informatiker und Programmierer. Er ist am bekanntesten für seine Rolle als Hauptentwickler der Ocaml System. Er ist Professor für Softwarewissenschaft bei Collège de France. Vor seiner Ernennung bei Collège de France 2018 war er Senior Scientist (Directeur de Recoherche) an der französischen Regierungsforschungsinstitution INRIA.
Leroy wurde in die zugelassen École Normale Supérieure In Paris im Jahr 1987, wo er Mathematik und Informatik studierte. Von 1989 bis 1992 tat er seine PhD in Informatik unter der Aufsicht von Gérard Huet.
Er ist ein international anerkannter Experte für Funktionelle Programmierung Sprachen und Compiler. In den letzten Jahren hat er sich für interessiert interessiert Formale Methoden, formelle Beweise und zertifizierte Zusammenstellung. Er ist der Anführer der CompCert Projekt, das eine Optimierung entwickelt Compiler zum C (Programmiersprache), formell verifiziert in Coq.
Leroy war auch der ursprüngliche Autor von LinuxThreads, die am weitesten gebrauchten Fäden Paket für Linux Versionen vor 2.6. Linux 2.6 eingeführt Nptlmit viel umfangreichere Unterstützung des Kernels, um LinuxThreads zu ersetzen.
2015 wurde er zu einem ernannt Gefährte des Verband für Rechenmaschinen "Für Beiträge zu sicheren, leistungsstarken funktionellen Programmiersprachen und Compilern und zur Verifizierung von Compiler."[1] Er wurde mit dem 2016 ausgezeichnet Milner Award bis zum königliche Gesellschaft[2] und die 2021 ACM Software System Award.[3]
Verweise
- ^ ACM -Stipendiaten, die nach Computerinnovationen benannt sind, die die Technologie im digitalen Zeitalter vorantreiben, Verband für Rechenmaschinen, 2015, abgerufen 2015-12-09.
- ^ "Royal Society Milner Award". königliche Gesellschaft. Abgerufen 19. November 2015.
- ^ "Xavier Leroy". Awards.Acm.org. Abgerufen 2022-05-13.
Externe Links