Damien Zufferey and Daniel Neider are co-teaching Advanced Automata Theory in summer 2019 at the University of Kaiserslautern.
Georg Zetzsche has joined the institute as a tenure-track faculty member. His research focuses on issues of decidability, complexity, synthesis, and expressiveness arising in program verification and mathematics.
MPI-SWS researchers are investigating what classes of infinite-state programs can be analyzed algorithmically by viewing computer programs abstractly as dynamical systems.
Amaury Pouly has won the 2017 Ackermann Award, presented annually to the author of an exceptional doctoral dissertation in the area of computer science logic.
Rupak Majumdar and Daniel Neider are co-teaching Advanced Automata Theory in summer 2017 at the University of Kaiserslautern.