Leroy, Javier

Javier Leroy
Fecha de nacimiento 15 de marzo de 1968( 1968-03-15 ) [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]

Notas

  1. ↑ Identificador de la Bibliothèque nationale de France BNF  (fr.) : Plataforma de datos abiertos - 2011.
  2. ↑ Quién es quién en Francia  (fr.) - París : 1953. - ISSN 0083-9531 ; 2275-0908
  3. ↑ http://pauillac.inria.fr/~xleroy/linuxthreads/faq.html Archivado el 13 de agosto de 2010 en Wayback Machine "Se ejecuta en cualquier sistema Linux con kernel 2.0.0"
  4. ↑ Becarios de ACM nombrados por Innovaciones informáticas que hacen avanzar la tecnología en la era digital , Asociación de maquinaria informática , 2015 , < http://www.acm.org/press-room/news-releases/2015/fellows-2015 > . Consultado el 9 de diciembre de 2015. Archivado el 9 de diciembre de 2015 en Wayback Machine . 
  5. ↑ Premio Milner de la Royal Society . Sociedad de la realeza. Fecha de acceso: 19 de noviembre de 2015. Archivado desde el original el 6 de septiembre de 2018.

Enlaces

  Ir al elemento de Wikidata  en redes sociales
sitios temáticos