stringtranslate.com

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 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]

Vida

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]

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). [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]

Reconocimiento

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]

Referencias

  1. ^ Año de nacimiento de la entrada del catálogo de la Biblioteca Nacional Alemana, consultado el 8 de diciembre de 2018.
  2. ^ Dr. rer. nat., Universitätsprofessor Martin Grohe, Universidad RWTH Aachen , consultado el 8 de diciembre de 2018
  3. ^ Martin Grohe en el Proyecto de genealogía de matemáticas
  4. ^ ab Martin Grohe, Premio Heinz Maier-Leibnitz 1999, Universidad de Friburgo , consultado el 8 de agosto de 2021
  5. ^ "Jahresbericht 2009, Institut für Informatik, Humboldt-Universität zu Berlin" (PDF) .
  6. ^ Revisión de la teoría de la complejidad descriptiva, la canonización y la estructura de gráficos definibles :
  7. ^ 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)
  8. ^ 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
  9. ^ "Simetría y similitud".

enlaces externos