Martin Grohe

{{Short description|German mathematician and computer scientist}}

Martin Grohe (born 1967){{r|born}} 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, descriptive complexity theory, and graph neural networks. He is a University Professor of Computer Science at RWTH Aachen University, where he holds the Chair for Logic and Theory of Discrete Systems.{{r|aachen}}

Life

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.{{r|mg}}

After postdoctoral research at the University of California, Santa Cruz and Stanford University, he earned his habilitation at the University of Freiburg in 1998.{{r|hmlp}} He became professor at the University of Illinois Chicago in 2000, reader at the University of Edinburgh in 2001, and professor at the Humboldt University of Berlin in 2003, before becoming professor at RWTH Aachen University in 2012.{{r|positions}}

Books

Grohe is the author of Descriptive Complexity, Canonisation, and Definable Graph Structure Theory (Lecture Notes in Logic 47, Cambridge University Press, 2017).{{r|dc}} 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).{{r|pc}}

{{cite book | last=Grohe | first=Martin | title=Descriptive Complexity, Canonisation, and Definable Graph Structure Theory | publisher=Cambridge University Press | date=17 August 2017 | isbn=978-1-107-01452-7 | doi=10.1017/9781139028868| s2cid=125568998 }}
{{Cite book|last1=Grohe|first1=Martin|title=Model Theoretic Methods in Finite Combinatorics: AMS-ASL Joint Special Session, January 5-8, 2009, Washington, DC|last2=Makowsky|first2=Johann A.|publisher=American Mathematical Soc.|year=2011|isbn=978-0-8218-4943-9|volume=558|location=Washington, DC}}
{{cite book | last1=Flum | first1=Jörg | last2=Grohe | first2=M. | title=Parameterized complexity theory | publisher=Springer | publication-place=Berlin | date=2006 | isbn=978-3-540-29953-0 | oclc=262692167}}

Recognition

Grohe won the Heinz Maier–Leibnitz Prize awarded by the German Research Foundation in 1999,{{r|hmlp}} and he was elected as an ACM Fellow in 2017 for "contributions to logic in computer science, database theory, algorithms, and computational complexity".{{r|facm}} In 2022, he was awarded an ERC Advanced Grant "Symmetry and Similarity".{{r|erc}}

References

{{reflist|refs=

{{Cite web |title=Jahresbericht 2009, Institut für Informatik, Humboldt-Universität zu Berlin |url=https://www.informatik.hu-berlin.de/de/org/dokumente/publikationen/Jahresbericht2009.pdf}}

{{Cite web |title=Symmetry and Similarity |url=https://www.rwth-aachen.de/go/id/bbgenv?lidx=1#aaaaaaaaabbgfso}}

{{citation|url=http://www.lics.rwth-aachen.de/cms/LICS/Der-Lehrstuhl/Team/Dozierende/~ocwf/Martin-Grohe/?lidx=1&allou=1|title=Dr. rer. nat., Universitätsprofessor Martin Grohe|publisher=RWTH Aachen University|access-date=2018-12-08}}

Birth year from [http://d-nb.info/gnd/1019542179 German National Library catalog entry], retrieved 2018-12-08.

Review of Descriptive Complexity, Canonisation, and Definable Graph Structure Theory:

{{citation

| last = Michel | first = Pascal

| journal = Mathematical Reviews

| mr = 3729479

| title = none}}

{{citation

| last = Segoufin | first = Luc

| doi = 10.1017/bsl.2018.1

| issue = 4

| journal = The Bulletin of Symbolic Logic

| mr = 3778434

| pages = 493–494

| title = none

| volume = 23

| year = 2017| s2cid = 125876027

}}

{{citation|url=https://www.acm.org/media-center/2017/december/fellows-2017|title=ACM Recognizes 2017 Fellows for Making Transformative Contributions and Advancing Technology in the Digital Age|publisher=Association for Computing Machinery|date=December 11, 2017}}

{{citation|title=Martin Grohe, 1999 Heinz Maier-Leibnitz Prize|url=https://uni-freiburg.de/university/university-at-a-glance/outstanding-achievements/heinz-maier-leibnitz-prize/martin-grohe/|publisher=University of Freiburg|access-date=2021-08-08}}

Reviews of Parameterized Complexity Theory: