Martin Grohe (nacido en 1967) [1] es un matemático e informático alemán conocido por sus investigaciones sobre complejidad parametrizada , lógica matemática , teoría de modelos finitos , lógica de gráficos , teoría de bases de datos y teoría de la complejidad descriptiva . Es profesor universitario de Ciencias de la Computación en la Universidad RWTH Aachen , donde ocupa la Cátedra de Lógica y Teoría de Sistemas Discretos. [2]
Educación
Grohe obtuvo su doctorado ( dr. Rer. Nat. ) En la Universidad de Friburgo en 1994. Su disertación, La estructura de la lógica de punto fijo , fue supervisada por Heinz-Dieter Ebbinghaus . [3] Después de una investigación postdoctoral en la Universidad de California, Santa Cruz y la Universidad de Stanford , obtuvo su habilitación en la Universidad de Friburgo en 1998. [4]
Libros
Grohe es el autor de Teoría de la complejidad descriptiva, canonización y estructura gráfica definible (Lecture Notes in Logic 47, Cambridge University Press, 2017). [5] En 2011, Grohe y Johann A. Makowsky publicaron como editores las actas 558 de la sesión especial AMS -ASL sobre métodos teóricos modelo en combinatoria finita , que se celebró del 5 al 8 de enero de 2009 en Washington, DC. [6] Junto con Jörg Flum, es coautor de la teoría de la complejidad parametrizada (Springer, 2006). [7]
Reconocimiento
Grohe ganó el premio Heinz Maier-Leibnitz otorgado por la Fundación de Investigación Alemana en 1999. [4] Fue elegido miembro de ACM en 2018 por "contribuciones a la lógica en ciencias de la computación, teoría de bases de datos, algoritmos y complejidad computacional". [8]
Referencias
- ^ Año de nacimiento de la entrada del catálogo de la Biblioteca Nacional Alemana , consultado el 8 de diciembre de 2018.
- ^ Dr. rer. nat., Universitätsprofessor Martin Grohe , RWTH Aachen University , consultado el 8 de diciembre de 2018
- ^ Martin Grohe en el Proyecto de genealogía de las matemáticas
- ^ a b Martin Grohe, Premio Heinz Maier-Leibnitz 1999 , Universidad de Friburgo , consultado el 8 de diciembre de 2018
- ^ Revisión de la complejidad descriptiva, la canonización y la teoría de la estructura de gráficos definibles :
- ^ Grohe, Martin; Makowsky, Johann A (2011). Métodos teóricos de modelos en combinatoria finita: Sesión especial conjunta AMS-ASL, 5-8 de enero de 2009, Washington, DC . 558 . Washington, DC: American Mathematical Soc. ISBN 978-0821849439.
- ^ Reseñas de la teoría de la complejidad parametrizada :
- Gasarch, William ; Kin, Keung Ma (marzo de 2007), The Computer Journal , 51 (1): 137–140, doi : 10.1093 / comjnl / bxm047CS1 maint: publicación periódica sin título ( enlace )
- Schwentick, Thomas (junio de 2007), Bulletin of Symbolic Logic , 13 (2): 246–248, doi : 10.1017 / s1079898600002286CS1 maint: publicación periódica sin título ( enlace )
- ^ ACM reconoce a los becarios de 2017 por realizar contribuciones transformadoras y promover la tecnología en la era digital , Association for Computing Machinery , 11 de diciembre de 2017
enlaces externos
- Publicaciones de Martin Grohe indexadas por Google Scholar