stringtranslate.com

Martín Grohe

Martin Grohe (nacido en 1967) [1] es un matemático y científico informático alemán conocido por sus investigaciones sobre la complejidad parametrizada , la lógica matemática , la teoría de modelos finitos , la lógica de grafos , la teoría de bases de datos , la teoría de la complejidad descriptiva y las redes neuronales de grafos . Es profesor universitario de Ciencias de la Computación 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 disertación, La estructura de las lógicas 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 de Aachen en 2012. [5]

Libros

Grohe es el 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 n.° 558 de la sesión especial de la 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. Junto con Jörg Flum, es coautor de Parameterized Complexity Theory (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 la ACM en 2017 por "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 ERC "Simetría y similitud". [9]

Referencias

  1. ^ Año de nacimiento de la entrada del catálogo de la Biblioteca Nacional de Alemania, 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 Matemática
  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 complejidad descriptiva, canonización y teoría de la estructura de grafos definibles :
    • Michel, Pascal, Reseñas matemáticas , MR  3729479{{citation}}: CS1 maint: untitled periodical (link)
    • Segoufin, Luc (2017), 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)
  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 semejanza".

Enlaces externos