Georg Zetzsche

Researcher · Theoretical Computer Science

Spain

About

Georg Zetzsche is a tenure-track faculty member at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany, since November 2018. He leads the Models of Computation group, focusing on theoretical foundations of formal verification and synthesis for infinite-state systems. His work bridges decidability, computational complexity, and automata theory, with applications to program analysis and concurrent systems.

Research fields

Theoretical Computer Science Formal Verification Infinite-State Systems Automata Theory Computational Complexity Verification and Synthesis Formal Languages Program Analysis

0Publications listed