Annette Huber-Klawitter (Universität Freiburg)
Bernd Hofmann (Technische Universität Chemnitz)
In July, Matthias Aschenbrenner joined the mathematics faculty as a university professor and director of the logic group.
