Prof. Tobias Nipkow

Now soliciting your submission: AFP: The Archive of Formal Proofs The Isabelle/HOL Tutorial Term Rewriting and All That Publications Isabelle Bachelor&Masterarbeiten Bafög

• Teaching
• Some recommended events:
  • TACAS 2013
  • ITP 2013
  • Tableaux 2013
  • LATA 2013
  • ICTAC 2013
  • FM 2014
• Some recommended journals:
  • JOURNAL OF AUTOMATED REASONING (JAR)
  • ACM Transactions on Computational Logic (TOCL)
  • Logical Methods in Computer Science (LMCS)
• Some texts and images.
• Miscellany

Research Interests

• Automatic and interactive theorem proving
• Formal verification
• Formalizing programming languages
• Type systems
• Semantics
• Rewriting and unification
• Lambda-calculus

Research

         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

Sprechstunde: Bin bis 10.6. auf Dienstreise. Im Semester mittwochs 11:00-12:00, sonst nach Vereinbarung.