Jean Henri Gallier (nacido en 1949) es investigador en lógica computacional en la Universidad de Pennsylvania , donde ocupa cargos en el Departamento de Ciencias de la Información y la Computación y el Departamento de Matemáticas.
Biografía
Gallier nació el 5 de enero de 1949 en Nancy, Francia , y tiene doble ciudadanía francesa y estadounidense. Obtuvo su bachillerato en el Lycée de Sèvres en 1966, y un título en ingeniería civil en la École Nationale des Ponts et Chaussées en 1972. [1] Luego se trasladó a la Universidad de California, Los Ángeles para sus estudios de posgrado, obteniendo un título Doctor. en Ciencias de la Computación en 1978 bajo la supervisión conjunta de Sheila Greibach y Emily Perlinski Friedman. Su disertación se tituló Semántica y corrección de clases de programas recursivos deterministas y no deterministas . [1] [2] Después de un estudio postdoctoral en la Universidad de California, Santa Bárbara , se unió al Departamento de Computación y Ciencias de la Información de la Universidad de Pensilvania en 1978. En Pensilvania, fue ascendido a profesor titular en 1990, obtuvo un nombramiento secundario para el Departamento de Matemáticas en 1994, y dirigió el Instituto Francés de Cultura y Tecnología de 2001 a 2004. [1]
Contribuciones
El trabajo de investigación más citado de Gallier, con su alumno William F. Dowling, proporciona un algoritmo de tiempo lineal para la satisfacción de Horn . [DG84] Esta es una variante del problema de satisfacibilidad booleano : su entrada es una fórmula booleana en forma normal conjuntiva con como máximo un literal positivo por cláusula, y el objetivo es asignar valores de verdad a las variables de la fórmula para hacer el todo fórmula verdadera. Resolver problemas de satisfacibilidad de Horn es el paradigma computacional central en el lenguaje de programación Prolog . [3]
Gallier también es autor de cinco libros sobre lógica computacional, [G86] geometría computacional , [G99] [G00] topología de baja dimensión , [GX13] y matemáticas discretas . [G11]
Publicaciones Seleccionadas
Trabajos de investigación
DG84. | Dowling, William F .; Gallier, Jean H. (1984), "Algoritmos de tiempo lineal para probar la satisfacibilidad de las fórmulas proposicionales de Horn", Journal of Logic Programming , 1 (3): 267-284, doi : 10.1016 / 0743-1066 (84) 90014- 1 , MR 0770156. |
Libros
G86. | Gallier, Jean H. (1986), Lógica para la informática: fundamentos de la demostración automática de teoremas , Wiley. 2ª ed., Dover Publications, 2015. [4] |
G99. | Gallier, Jean (1999), Curvas and Surfaces in Geometric Modeling: Theory and Algorithms , The Morgan Kaufmann Series in Computer Graphics and Geometric Modeling, San Francisco, CA: Morgan Kaufmann, ISBN 1-55860-599-1. [5] |
G00. | Gallier, Jean (2000), Métodos y aplicaciones geométricos: para ciencias de la computación e ingeniería , Textos en matemáticas aplicadas, 38 , Nueva York: Springer-Verlag, doi : 10.1007 / 978-1-4613-0137-0 , ISBN 0-387-95044-3. 2a ed., 2011, ISBN 978-1-4419-9960-3 . [6] [7] [8] |
G11. | Gallier, Jean (2011), Matemáticas discretas , Universitext, Nueva York: Springer-Verlag, doi : 10.1007 / 978-1-4419-8047-2 , ISBN 978-1-4419-8046-5, MR 2777371. [9] |
GX13. | Gallier, Jean; Xu, Dianna (2013), A Guide to the Classification Theorem for Compact Surfaces , Geometry and Computing, 9 , Heidelberg: Springer, doi : 10.1007 / 978-3-642-34364-3 , ISBN 978-3-642-34363-6. [10] [11] |
Referencias
- ^ a b c Curriculum vitae , consultado el 26 de marzo de 2017.
- ^ Jean Gallier en el Proyecto de genealogía matemática
- ^ Dechter, Rina (2003), Procesamiento de restricciones , Serie Morgan Kaufmann en Inteligencia Artificial, San Francisco, CA: Morgan Kaufmann, p. 307, ISBN 9781558608900 CS1 maint: parámetro desalentado ( enlace ).
- ^ Pfenning, Frank (1989), "Revisión: Jean H. Gallier, Logic for Computer Science. Foundations of Automatic Theorem Proving " (PDF) , Journal of Symbolic Logic , 54 (1): 288-289, doi : 10.2307 / 2275035 , JSTOR 2275035.
- ^ Kallay, Michael (2001), Revisión de curvas y superficies en modelado geométrico , MR1823812 .
- ^ Jüttler, Bert (2001), Revisión de métodos y aplicaciones geométricos , MR1792535 . Actualizado para 2a ed., 2012, MR2663906 .
- ^ Williams, Hugh (noviembre de 2002), "Métodos geométricos y aplicaciones para la informática y la ingeniería", The Mathematical Gazette , 86 (507): 564, doi : 10.2307 / 3621198 , JSTOR 3621198.
- ^ Hunacek, Mark (2011), Revisión de métodos y aplicaciones geométricos , Asociación matemática de América .
- ^ Pinter, Gabriella (2012), Revisión de matemáticas discretas , Asociación matemática de América .
- ^ Löh, Clara, Revisión de una guía para el teorema de clasificación para superficies compactas , MR3026641 .
- ^ Wood, Bill (2014), Revisión de una guía para el teorema de clasificación de superficies compactas , Asociación matemática de América .
enlaces externos
- Página de inicio
- Publicaciones de Jean Gallier indexadas por Google Scholar