Hochschule
Sonstige Einrichtungen
Max-Planck-Institut für Informatik (MPI)
http://www.mpi-inf.mpg.de/
RG1 Automation of Logic
Leiter/in
Univ.-Prof. Dr. rer. nat. Christoph Weidenbach
Sekretariat
Jennifer Müller
Wiss. Mitarbeiter/Innen
Dr. Martin Bromberger
Martin Desharnais
Fajar Haifani
Hendrik Leidinger
Lorenz Leutgeb
Dr. Sibylle Möhle
Simon Schwarz
Dr. Uwe Waldmann
Assoziiertes Mitglied
Dr. Jasmin Christian Blanchette
Dr. Mathias Fleury
Thomas Sturm
Dr. Sophie Tourret