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

Prof. Tobias Nipkow

photo
  • Research
  • Publications
  • Semantics Course
  • Archive of Formal Proofs
  • Isabelle
  • Bachelor&Masterarbeiten
  • Bafög
  • 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 Nikolaou-Weiß

    Sprechstunde: Im Semester mittwochs 11:00-12:00, sonst nach Vereinbarung.