Salomaa Prize

---

The 2025 Salomaa prize committee, consisting of Jeffrey Shallit, Christian Choffrut, and Jürgen Dassow, has awarded the 2025 Salomaa Prize in Automata Theory, Formal Languages, and Related Topics,

to Georg Zetzsche (Max Planck Institute for Software Systems, Germany)

“For the breadth and depth of his results in formal languages, automata theory, and logic, particularly the theory of downward closures, decidability in infinite-state systems, algorithmic group theory, and arithmetic theories, connecting formal languages and computation in the spirit of Arto Salomaa.”

The prize will be awarded during the DLT 2025 conference.