M. Grohe

• Model theoretic methods in finite combinatorics
• The structure of fixed-point logics