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

Prof. Tobias Nipkow

photo

  • New book:
  • Semantics Course
  • AFP: The Archive of Formal Proofs
  • The Isabelle/HOL Tutorial
  • Term Rewriting and All That
  • Publications
  • Isabelle
  • Bachelor&Masterarbeiten
  • Bafög


  • Research Interests

    Research




    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.