Martín Grohe

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 grafos , teoría de bases de datos , teoría de la complejidad descriptiva y redes neuronales gráficas . Es catedrático de Informática en la Universidad RWTH Aachen , 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 las lógicas de punto fijo , fue dirigida por Heinz-Dieter Ebbinghaus . ^{[ 3 ]} Después de realizar 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 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 Descriptive Complexity, Canonisation, and Definable Graph Structure Theory (Lecture Notes in Logic 47, Cambridge University Press, 2017). ^{[ 6 ]} En 2011, Grohe y Johann A. Makowsky publicaron como editores las actas de la 558.ª sesión especial de la AMS - ASL sobre métodos de teoría de modelos en combinatoria finita , que se celebró del 5 al 8 de enero de 2009 en Washington, D.C. Junto con Jörg Flum, es coautor de Parameterized Complexity Theory (Springer, 2006). ^{[ 7 ]}

• Grohe, Martin (17 de agosto de 2017). Complejidad descriptiva, canonización y teoría de la estructura de grafos definibles . Cambridge University Press. doi : 10.1017/9781139028868 . ISBN 978-1-107-01452-7. S2CID 125568998 . 
• Grohe, Martin; Makowsky, Johann A. (2011). Métodos de teoría de modelos en combinatoria finita: Sesión especial conjunta AMS-ASL, 5-8 de enero de 2009, Washington, DC . Vol.  558. Washington, DC: American Mathematical Soc. ISBN 978-0-8218-4943-9.
• Flum, Jörg; Grohe, M. (2006). Teoría de la complejidad parametrizada . Berlín: Springer. ISBN 978-3-540-29953-0OCLC 262692167​​ 

Grohe ganó el Premio Heinz Maier-Leibnitz otorgado por la Fundación Alemana de Investigación en 1999, ^{[ 4 ]} y fue elegido miembro de la ACM en 2017 por sus "contribuciones a la lógica en la informática, la teoría de bases de datos, los algoritmos y la complejidad computacional". ^{[ 8 ]} En 2022, recibió una beca avanzada del Consejo Europeo de Investigación (ERC) para el proyecto "Simetría y similitud". ^{[ 9 ]}

• Publicaciones de Martin Grohe indexadas por Google Académico