Phone: +49(0)851 509 4660 (office)
E-mail: FIRSTNAME.mueller at uni-passau.de
Homepage: https://www.fim.uni-passau.de/en/mathematical-logic