Martin Grohe

Martin Grohe (born 1967)[1] is a German mathematician and computer scientist known for his research on parameterized complexity, mathematical logic, finite model theory, the logic of graphs, database theory, and descriptive complexity theory. He is a University Professor of Computer Science at RWTH Aachen University, where he holds the Chair for Logic and Theory of Discrete Systems.[2]

Education

Grohe earned his doctorate (dr. rer. nat.) at the University of Freiburg in 1994. His dissertation, The Structure of Fixed-Point Logics, was supervised by Heinz-Dieter Ebbinghaus.[3] After postdoctoral research at the University of California, Santa Cruz and Stanford University, he earned his habilitation at the University of Freiburg in 1998.[4]

Books

Grohe is the author of Descriptive Complexity, Canonisation, and Definable Graph Structure Theory (Lecture Notes in Logic 47, Cambridge University Press, 2017).[5] In 2011, Grohe and Johann A. Makowsky published as editors the 558th proceedings of the AMS-ASL special session on Model Theoretic Methods in Finite Combinatorics, which was held on January 5-8 2009 in Washington, DC.[6] With Jörg Flum, he is the co-author of Parameterized Complexity Theory (Springer, 2006).[7]

Recognition

Grohe won the Heinz Maier–Leibnitz Prize awarded by the German Research Foundation in 1999.[4] He was elected as an ACM Fellow in 2018 for "contributions to logic in computer science, database theory, algorithms, and computational complexity".[8]

gollark: Hacking space-time for fun and profit™
gollark: Also "let's spy on everyone because terrorists".
gollark: ```'I [suspect] that we are throwing more and more of our resources, including the cream of our youth, into financial activities remote from the production of goods and services, into activities that generate high private rewards disproportionate to their social productivity. I suspect that the immense power of the computer is being harnessed to this 'paper economy', not to do the same transactions more economically but to balloon the quantity and variety of financial exchanges.'--James Tobin, July 1984```
gollark: What about vertexlords?
gollark: Stupid TVTropes adblocker complaining. They can have their 0.01p when they switch to nice unobtrusive textual ads which don't incorporate piles of tracking.

References

  1. Birth year from German National Library catalog entry, retrieved 2018-12-08.
  2. Dr. rer. nat., Universitätsprofessor Martin Grohe, RWTH Aachen University, retrieved 2018-12-08
  3. Martin Grohe at the Mathematics Genealogy Project
  4. Martin Grohe, 1999 Heinz Maier-Leibnitz Prize, University of Freiburg, retrieved 2018-12-08
  5. Review of Descriptive Complexity, Canonisation, and Definable Graph Structure Theory:
    • Michel, Pascal, Mathematical Reviews, MR 3729479CS1 maint: untitled periodical (link)
    • Segoufin, Luc (2017), The Bulletin of Symbolic Logic, 23 (4): 493–494, doi:10.1017/bsl.2018.1, MR 3778434CS1 maint: untitled periodical (link)
  6. Grohe, Martin; Makowsky, Johann A (2011). Model Theoretic Methods in Finite Combinatorics: AMS-ASL Joint Special Session, January 5-8, 2009, Washington, DC. 558. Washington, DC: American Mathematical Soc. ISBN 978-0821849439.
  7. Reviews of Parameterized Complexity Theory:
  8. ACM Recognizes 2017 Fellows for Making Transformative Contributions and Advancing Technology in the Digital Age, Association for Computing Machinery, December 11, 2017
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.