Team
Prof. Dr. Reinhard Kahle (Director)
Room 108
Tel.: +49-7071-29-75333
E-mail: reinhard.kahle@uni-tuebingen.de
Office hours: by appointment
Prof. Dr. Klaus Mainzer (Senior professor)
Homepage: https://www.professoren.tum.de/mainzer-klaus/
Room 106
Tel.: +49-7071-29-70468
E-mail: mainzer@tum.de, k.mainzer@outlook.com
Dr. Thomas Piecha (Member of academic staff)
Homepage: https://uni-tuebingen.de/de/30466
Room 106
Tel.: +49-7071-29-70468
E-mail: piecha@informatik.uni-tuebingen.de
Office hours: by appointment
Dr. des. Klaus Angerer (Member of academic staff)
Homepage: https://uni-tuebingen.academia.edu/KlausAngerer
Room 105
Tel.: +49-7071-29-75365
E-mail: klaus.angerer@uni-tuebingen.de
Office hours: by appointment
Dr. Vlasta Sikimić (Member of academic staff)
Homepage: https://vlastasikimic.com
Room 107
Tel.: +49-7071-29-75366
E-mail: vlasta.sikimic@uni-tuebingen.de
Office hours: by appointment
Dr. Roberta Bonacina (Member of academic staff)
Homepage: https://robertabonacina.com
Room 105
Tel.: +49-7071-29-75365
E-mail: roberta.bonacina@fsci.uni-tuebingen.de
Office hours: by appointment
Dr. Maël Pégny (Member of academic staff)
Homepage: https://univ-lorraine.academia.edu/MaelPegny
Room 106
Tel.: +49-7071-29-70468
E-mail: maelpegny@gmail.com
Office hours: by appointment
Dr. Michael T. Stuart (Member of academic staff)
Homepage: http://michaeltstuart.com
Room 107
Tel.: +49-7071-29-75366
E-mail: mike.stuart.post@gmail.com
Office hours: by appointment
Marcel Ertel (Member of academic staff; PhD student)
Room 107
Tel.: +49-7071-29-75366
Office hours: by appointment
Paulo Guilherme Santos (PhD student)
Paulo G. Santos works mainly on Formal Arithmetic, with a special emphasis on Provability Predicates and Bounded Notions of Provability (such as k-provability).
Homepage: https://sites.google.com/a/campus.fct.unl.pt/paulo-guilherme-santos/
Room 105
Tel.: +49-7071-29-75365
E-mail: pgd.santos@campus.fct.unl.pt
Office hours: by appointment
Dr. Lauren Cubellis (Member of academic staff)
Homepage: https://www2.hu-berlin.de/sts/people/cubellis/
Room 107
Tel.: +49-7071-29-75366
E-Mail: lauren.cubellis@fu-berlin.de
Office hours: by appointment
Natalie Clarius (Resarch assistant)
Room 106
Tel.: +49-7071-29-70468
E-mail: natalie.clarius@student.uni-tuebingen.de
Office hours: by appointment
Philipp Stecher (PhD student)
Room 107
Tel.: +49-7071-29-75366
Office hours: by appointment
Aleksandra Rötschke (Secretary)
Room 103
Tel.: +49-7071-29-75334
E-Mail: sekretariat.cfvw@uni-tuebingen.de