Technische Universität München Fakultät für Informatik Theorem Proving Group

Prof. Tobias Nipkow

photo Functionl Algorithms, Verified! Concrete Semantics Isabelle/HOL Term Rewriting


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.