Martin Grohe (nacido en 1967) [1] es un matemático e informático alemán conocido por su investigación sobre complejidad parametrizada , lógica matemática , teoría de modelos finitos , lógica de gráficos , teoría de bases de datos , teoría descriptiva de la complejidad y redes neuronales de gráficos . Es profesor universitario de informática en la Universidad RWTH de Aquisgrán , donde ocupa la cátedra de Lógica y Teoría de Sistemas Discretos. [2]
Grohe obtuvo su doctorado ( Dr. rer. nat. ) en la Universidad de Friburgo en 1994. Su tesis, 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] Se convirtió en profesor en la Universidad de Illinois en Chicago en 2000, lector en la Universidad de Edimburgo en 2001 y profesor en la Universidad Humboldt de Berlín en 2003, antes de convertirse en profesor en la Universidad RWTH Aachen en 2012. [5]
Grohe es autor de Teoría de la complejidad descriptiva, canonización y estructura de gráficos definibles (Lecture Notes in Logic 47, Cambridge University Press, 2017). [6] En 2011, Grohe y Johann A. Makowsky publicaron como editores las actas número 558 de la sesión especial de AMS - ASL sobre métodos teóricos de modelos en combinatoria finita , que se celebró del 5 al 8 de enero de 2009 en Washington, DC. Con Jörg Flum, es coautor de Teoría de la complejidad parametrizada (Springer, 2006). [7]
Grohe ganó el premio Heinz Maier-Leibnitz otorgado por la Fundación Alemana de Investigación en 1999, [4] y fue elegido miembro de ACM en 2017 por "contribuciones a la lógica en informática, teoría de bases de datos, algoritmos y complejidad computacional". [8] En 2022, recibió una beca avanzada del ERC "Simetría y similitud". [9]
{{citation}}
: CS1 maint: untitled periodical (link){{citation}}
: CS1 maint: untitled periodical (link){{citation}}
: CS1 maint: untitled periodical (link){{citation}}
: CS1 maint: untitled periodical (link)