Martin Grohe (born 1967) is a German mathematician and computer scientist known for his research on

parameterized complexity In computer science, parameterized complexity is a branch of computational complexity theory that focuses on classifying computational problems according to their inherent difficulty with respect to ''multiple'' parameters of the input or output. ...

mathematical logic Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal ...

, finite model theory, the

logic of graphs In the mathematical fields of graph theory and finite model theory, the logic of graphs deals with formal specifications of graph properties using sentences of mathematical logic. There are several variations in the types of logical operation that ...

database theory Database theory encapsulates a broad range of topics related to the study and research of the theoretical realm of databases and database management systems. Theoretical aspects of data management include, among other areas, the foundations of q ...

, and

descriptive complexity theory Descriptive complexity is a branch of computational complexity theory and of finite model theory that characterizes complexity classes by the type of logic needed to express the languages in them. For example, PH, the union of all complexity clas ...

. He is a University Professor of Computer Science at RWTH Aachen University, where he holds the Chair for Logic and Theory of Discrete Systems.

Education

Grohe earned his doctorate ( dr. rer. nat.) at the

University of Freiburg The University of Freiburg (colloquially german: Uni Freiburg), officially the Albert Ludwig University of Freiburg (german: Albert-Ludwigs-Universität Freiburg), is a public research university located in Freiburg im Breisgau, Baden-Württemb ...

in 1994. His dissertation, ''The Structure of Fixed-Point Logics'', was supervised by

Heinz-Dieter Ebbinghaus Heinz-Dieter Ebbinghaus (born 22 February 1939 in Hemer, Province of Westphalia) is a German mathematician and logician. He received his PhD in 1967 at the University of Münster under Hans Hermes and Dieter Rödding. Ebbinghaus has written va ...

. After postdoctoral research at the

University of California, Santa Cruz The University of California, Santa Cruz (UC Santa Cruz or UCSC) is a public land-grant research university in Santa Cruz, California. It is one of the ten campuses in the University of California system. Located on Monterey Bay, on the edge of ...

and Stanford University, he earned his habilitation at the University of Freiburg in 1998.

Books

Grohe is the author of ''Descriptive Complexity, Canonisation, and Definable Graph Structure Theory'' (Lecture Notes in Logic 47, Cambridge University Press, 2017). 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. With Jörg Flum, he is the co-author of ''Parameterized Complexity Theory'' (Springer, 2006). * * *

Recognition

Grohe won the Heinz Maier–Leibnitz Prize awarded by the German Research Foundation in 1999. He was elected as an

ACM Fellow ACM or A.C.M. may refer to: Aviation * AGM-129 ACM, 1990–2012 USAF cruise missile * Air chief marshal * Air combat manoeuvring or dogfighting * Air cycle machine * Arica Airport (Colombia) (IATA: ACM), in Arica, Amazonas, Colombia Computing * ...

in 2018 for "contributions to logic in computer science, database theory, algorithms, and computational complexity".

References

External links

* {{DEFAULTSORT:Grohe, Martin 1967 births Living people German computer scientists 20th-century German mathematicians Mathematical logicians University of Freiburg alumni Academic staff of RWTH Aachen University 21st-century German mathematicians