Georg Zetzsche receives 2025 Salomaa prize
The 2025 Salomaa prize has been awarded to Georg Zetzsche for the breadth and depth of his results in formal languages, automata theory, and logic.
Algorithms, Theory & Logic
The algorithms, theory, and logic theme encompasses our research into the mathematical underpinnings of computer science and the application of foundational ideas to concrete applications in many different areas of computer science. Our research spans both algorithms, decidability, and complexity as well as logic, semantics, and proof theory.
