Javier Leroy | |
---|---|
Fecha de nacimiento | 15 de marzo de 1968 [1] (54 años) |
Lugar de nacimiento | |
País | |
Esfera científica | informática y programación funcional |
Lugar de trabajo | |
alma mater | |
consejero científico | Yue, Gerard |
Premios y premios | Premio Michel Monpetit [d] ( 2007 ) Premio Milner [d] ( 2016 ) Premio van Wiingaarden ( 2016 ) Fello ACM ( 2015 ) Gran Premio de INRIA y de la Academia Francesa de Ciencias [d] ( 2018 ) |
Sitio web | javierleroy.org |
Xavier Leroy ( fr. Xavier Leroy ; nacido el 15 de marzo de 1968 ) es un informático y programador francés. Conocido como el principal desarrollador del sistema OCaml .
Senior Research Fellow ( directeur de recherche francés ) de la institución de investigación pública francesa INRIA . Leroy fue admitido en la École Normale de París en 1987, donde estudió matemáticas e informática. De 1989 a 1992 defendió su tesis doctoral en informática bajo la dirección de Gérard Huet .
Es un experto reconocido internacionalmente en lenguajes de programación funcional y compiladores. Últimamente me he interesado por los métodos formales, los controles formales y la compilación certificada. Es el jefe del proyecto CompCert , que está desarrollando un compilador optimizador para C verificado formalmente en Coq .
Leroy también fue el autor original de LinuxThreads , el paquete más utilizado que implementa subprocesos de paquetes en el sistema operativo Linux con versiones del kernel de Linux 2.0 [3] , 2.2, 2.4. Con el kernel de Linux 2.6, se introdujo la biblioteca NPTL para reemplazar LinuxThreads , con un soporte mucho más amplio del kernel.
En 2015, fue declarado miembro de la Association for Computing Machinery "por contribuciones a compiladores y lenguajes de programación funcionales seguros y altamente eficientes, y verificación de compiladores". [4] En 2016 fue galardonado con el Premio Milner la Royal Society of London . [5]
en redes sociales | ||||
---|---|---|---|---|
sitios temáticos | ||||
|