Yue, Gerard
La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 12 de diciembre de 2016; las comprobaciones requieren 17 ediciones .| Gerard Hue | |
|---|---|
| Gerardo Huet | |
| Fecha de nacimiento | 7 de julio de 1947 (75 años) |
| Lugar de nacimiento | burgos |
| País | |
| Esfera científica | Matemáticas |
| Lugar de trabajo | Universidad de París |
| alma mater | Universidad Case Western Reserve Universidad París Diderot |
| consejero científico | maurice niva |
| Estudiantes | Benoît Razet [d] [1] |
| Premios y premios | Premio de la Asociación Europea de Informática Teórica [d] ( 2009 ) Premio al sistema de software ACM [d] ( 2013 ) Premio Herbrand [d] ( 1998 ) |
Gérard Pierre Huet ( francés Gérard Huet ) es un científico francés en el campo de la informática, las matemáticas y la lingüística. Es el director científico de investigación de INRIA y es mejor conocido por sus importantes contribuciones a la teoría de tipos , la teoría de lenguajes de programación y la teoría de algoritmos .
Biografía
Gerard Huet se graduó en la Universidad Paris Diderot (París VII), la Universidad Case Western Reserve y la Universidad de París .
Director senior de investigación en INRIA , miembro de la Academia de Ciencias de Francia , miembro de la Academia Europea . Anteriormente, fue profesor invitado en el Instituto Asiático de Tecnología en Bangkok , profesor invitado en la Universidad Carnegie Mellon e investigador visitante en SRI International .
Es el autor del algoritmo de unificación para el cálculo lambda de tipo simple y la prueba completa del método de teoría de tipos de Church . Trabajó en el editor del programa Mentor de 1974 a 1977 con Gilles Kahn . En 1978-1984 trabajó en el sistema de prueba ecuacional KB junto con Jean-Marie Hullot . Lideró el proyecto Formel en la década de 1980, que desarrolló el lenguaje de programación Caml. En 1984 desarrolló el cálculo de la construcción con Thierry Cocan . Dirigió el proyecto Coq en la década de 1990 con Christine Paulin desarrollando el control asistente Coq [2] . Inventó la estructura de datos Zipper en 1996. Fue Jefe de Relaciones Internacionales en INRIA de 1996 a 2000. Desarrolló el kit de herramientas Zen Computational Linguistics en 2000-2004.
Organizó el Instituto de Fundamentos Lógicos de la Programación Funcional durante el Año de la Programación en la Universidad de Texas en Austin en la primavera de 1987. Organizó el coloquio "Program Testing and Improvement" en Arc et Senans en 1975, el 5th International Conference on Automated Deduction (CADE) en Les Arcs en 1980, el simposio "Logic in Computer Science" (Simposio de Lógica en Ciencias de la Computación , LICS) en París en 1994 y el Primer Simposio Internacional de Lingüística Computacional en Sánscrito en 2007. Fue coordinador de ESPRIT European Logic Framework Projects, luego TYPES, de 1990 a 1995.
Hizo importantes contribuciones a la teoría de la unificación y al desarrollo de lenguajes de programación funcionales tipificados, en particular Caml . [3] [4] Más recientemente, fue un erudito en lingüística computacional en sánscrito . [5] Es el webmaster del Sánscrito Heritage Site. [6]
Yue recibió el Premio Herbrand en 1998 [7] y el Premio EATCS en 2009. [ocho]
Publicaciones
- Le Projet prévision-réalisation des vols , Société d'informatique, de conseils et de recherche opérationnelle (SINCRO), París, 1970. Registro de WorldCat Archivado el 20 de diciembre de 2016 en Wayback Machine .
- Spécifications pour une base commune de données , SINCRO, París, 1971. WorldCat Record Archivado el 4 de abril de 2016 en Wayback Machine .
- Gerard P. Huet. Una mecanización de la teoría de tipos // Proc. 3° Int. Conf. conjunta sobre Inteligencia Artificial (IJCAI) (inglés) / Nils J. Nilsson. - William Kaufmann, 1973. - P. 139-146.
- Gerard P. Huet. La indecidibilidad de la unificación en la lógica de tercer orden // Información y control : diario. - 1973. - vol. 22 . - pág. 257-267 . -doi : 10.1016 / s0019-9958(73)90301-x .
- La Gestion des données dans les systèmes informatiques , École supérieure d'électricité, Malakoff, 1974. WorldCat Record Archivado el 4 de abril de 2016 en Wayback Machine .
- "Un algoritmo de unificación para cálculo lambda tipado" , Gerard P. Huet, Theoretical Computer Science 1 (1975), 27-57
- Gerard Huet (septiembre de 1976). Resolution d'Equations dans des Langages d'Ordre 1,2,...ω (Ph.D.). Universidad de París VII.
- Gerard Huet, Bernard Lang. Demostración y aplicación de transformaciones de programas expresadas con patrones de segundo orden // Acta Informatica : diario. - 1978. - vol. 11 _ - P. 31-55 . -doi : 10.1007/ bf00264598 .
- Gerard Huet, DS Lankford. Sobre el problema de detención uniforme para sistemas de reescritura de términos . - 1978. - Pág. 8.
- G. Huet, JM Hullot. Pruebas por Inducción en Teorías Ecuacionales con Constructores // 21st Ann. Síntoma sobre Fundamentos de la Informática . - Instituto de Ingenieros Eléctricos y Electrónicos , 1980. - Pág. 96-107.
- G. Huet, DC Open. Ecuaciones y reglas de reescritura: una encuesta (indefinido) . - 1980. - S. 52.
- Gerard Huet. Una prueba completa de la corrección del algoritmo de finalización de Knuth-Bendix // J. Comput. ciencia del sistema : diario. - 1981. - vol. 23 . - P. 11-21 . - doi : 10.1016/0022-0000(81)90002-7 .
- Gerard Huet. Estructuras Formales para el Cómputo y la Deducción . - 1986. - (Escuela Internacional de Verano sobre Lógica de Programación y Cálculos de Diseño Discreto). Archivado el 14 de julio de 2014 en Wayback Machine .
- Gerard Huet. Principios de Inducción Formalizados en el Cálculo de Construcciones / K. Fuchi y M. Nivat. - Holanda Septentrional, 1988. - P. 205-216. Archivado el 1 de julio de 2015 en Wayback Machine .
- Gerard Huet. Teoría residual en λ-Calculus: un desarrollo formal . — 1993. Archivado el 1 de julio de 2015 en Wayback Machine .
- Huet, asistente de prueba de diseño de GP (conferencia invitada) (sin especificar) / Ganzinger, Harald. - Springer-Verlag , 1996. - T. 1103. - S. 153. - (LNCS).
- Gerard Huet, H. Laulhere. Transductores de estado finito como árboles de Böhm regulares // Aspectos teóricos del software informático (neopr.) / M. Abadi y T. Ito. - Springer, 1997. - T. 1281. - S. 604-610. — (LNCS). Archivado el 22 de diciembre de 2014 en Wayback Machine .
- Gerard Huet. Árboles de Böhm regulares (indefinidos) // Matemáticas. Estructura. en compensación Ciencias. - 1998. - T. 8 . - S. 671-680 . -doi : 10.1017/ s0960129598002643 . Archivado desde el original el 24 de enero de 2016.
- Gerard Huet. Unificación del orden superior 30 años después // Actas, 15th International Conference TPHOL (inglés) / V. Carreño y C. Muñoz y S. Tahar. - Springer, 2002. - vol. 2410. - Pág. 3-12. — (LNCS). posdata
- Gerard Huet. Contextos lineales y el funtor de compartición: técnicas para la computación simbólica / Fairouz Kamareddine. — Kluwer, 2003. Archivado el 1 de julio de 2015 en Wayback Machine .
Notas
- ↑ Genealogía matemática (inglés) - 1997.
- ↑ ¿Qué es Coq? | The Coq Proof Assistant Archivado el 24 de abril de 2016 en Wayback Machine . Coq.inria.fr. Recuperado el 21-07-2013.
- ↑ Pawan Goyal, Gerard Huet. Análisis de integridad de un lector de sánscrito // Actas del Quinto Simposio Internacional sobre Lingüística Computacional en Sánscrito, Mumbai (inglés) . - 2013. Copia archivada (enlace inaccesible) . Consultado el 9 de diciembre de 2016. Archivado desde el original el 14 de julio de 2014.
- ↑ Gerard Huet, Pawan Goyal. Diseño de una interfaz ajustada para la anotación de corpus en sánscrito // Actas, ICON13, Hyderabad (neopr.) . - 2013. Copia archivada (enlace inaccesible) . Consultado el 9 de diciembre de 2016. Archivado desde el original el 14 de julio de 2014.
- ↑ Gerard Huet . Archivado el 12 de septiembre de 2008 en Wayback Machine .
- ↑ Sitio de herencia sánscrita . Consultado el 9 de diciembre de 2016. Archivado desde el original el 3 de junio de 2013.
- ↑ Premio Herbrand por contribuciones distinguidas al razonamiento automatizado (enlace no disponible) . Consultado el 9 de diciembre de 2016. Archivado desde el original el 7 de febrero de 2015.
- ↑ Premio de la Asociación Europea de Informática Teórica . Consultado el 9 de diciembre de 2016. Archivado desde el original el 21 de diciembre de 2016.
Enlaces
- Huet, Gerard (inglés) en el Proyecto de Genealogía Matemática
- Página de inicio de Gérard Huet Archivado el 28 de noviembre de 2016 en Wayback Machine .
- Gérard Huet Héritage du sanskrit dictionnaire sanskrit-français . Fecha de acceso: 9 de diciembre de 2016. Archivado desde el original el 27 de febrero de 2008. (3,32 MB)(428 páginas, 5 de abril de 2007)
 sitios temáticos | ||||
|---|---|---|---|---|
| ||||