Martin Grohe

Martin Grohe received the Heinz Maier-Leibnitz Prize for his work in the area of Mathematics.

Martin Grohe studied mathematics in Freiburg, where he also went on to earn his PhD in 1994. After stints conducting research at the University of California, Santa Cruz, and Stanford University, he returned to Freiburg and completed his habilitation in 1998. Martin Grohe has already left a mark on his field of research, finite model theory. In his dissertation, for instance, he completely solved the so-called hierarchy problem for fixed-point logics, an area in which only fragmentary findings had been made for the course of a decade. (Source: DFG)