Contact
Prof. Tobias Nipkow
Fakultät für Informatik
Technische Universität München
Boltzmannstr. 3
85748 Garching
Germany
Phone: +49 (89) 289 17302
Fax: +49 (89) 289 17301
Office: MI 00.09.055
E-mail: last-name at in.tum.de
Administrative assistant:
Frau Helma Piller
Sprechstunde: Im Semester mittwochs 11:00-12:00, sonst nach Vereinbarung.