Team

Dr. Thomas Piecha (Member of academic staff)

Homepage: https://uni-tuebingen.de/de/30466
Room 106
Tel.: +49-7071-29-70468
E-mail: piechaspam prevention@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.angererspam prevention@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.sikimicspam prevention@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.bonacinaspam prevention@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: maelpegnyspam prevention@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.postspam prevention@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.santosspam prevention@campus.fct.unl.pt
  Office hours: by appointment
 

Natalie Clarius (Resarch assistant)

Room 106
Tel.: +49-7071-29-70468
E-mail: natalie.clariusspam prevention@student.uni-tuebingen.de
Office hours: by appointment

Aleksandra Rötschke (Secretary)

 Room 103
Tel.: +49-7071-29-75334
E-Mail: sekretariat.cfvwspam prevention@uni-tuebingen.de