German mathematician and computer scientist
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 descriptiva de la complejidad . 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]
Educación
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]
Libros
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). [5] 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). [6]
- Grohe, Martin (17 de agosto de 2017). Complejidad descriptiva, canonización y teoría de la estructura de grafos definibles . Prensa de la Universidad de Cambridge. doi :10.1017/9781139028868. ISBN 978-1-107-01452-7. S2CID 125568998.
- Grohe, Martín; Makowsky, Johann A. (2011). Métodos teóricos de modelos en combinatoria finita: sesión especial conjunta AMS-ASL, 5 al 8 de enero de 2009, Washington, DC . vol. 558. Washington, DC: Sociedad Estadounidense de Matemáticas. 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-0. OCLC 262692167.
Reconocimiento
Grohe ganó el premio Heinz Maier-Leibnitz otorgado por la Fundación Alemana de Investigación en 1999. [4]
Fue elegido miembro de ACM en 2018 por "contribuciones a la lógica en informática, teoría de bases de datos, algoritmos y complejidad computacional". [7]
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, Universidad RWTH Aachen , consultado el 8 de diciembre de 2018
- ^ Martin Grohe en el Proyecto de genealogía de matemáticas
- ^ ab Martin Grohe, Premio Heinz Maier-Leibnitz 1999, Universidad de Friburgo , consultado el 8 de agosto de 2021
- ^ Revisión de la teoría de la complejidad descriptiva, la canonización y la estructura de gráficos definibles :
- Michel, Pascal, Reseñas de Matemáticas , SEÑOR 3729479
{{citation}}
: CS1 maint: untitled periodical (link) - Segoufin, Luc (2017), El boletín de lógica simbólica , 23 (4): 493–494, doi :10.1017/bsl.2018.1, MR 3778434, S2CID 125876027
{{citation}}
: CS1 maint: untitled periodical (link)
- ^ 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/bxm047
{{citation}}
: CS1 maint: untitled periodical (link) - Schwentick, Thomas (junio de 2007), Bulletin of Symbolic Logic , 13 (2): 246–248, doi :10.1017/s1079898600002286, S2CID 123555329
{{citation}}
: CS1 maint: untitled periodical (link)
- ^ 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