Theorem Proving Group

Foundations and Applications of Machine Supported Proofs

Larry Paulson has become Distinguished Affiliated Professor for Logic in Informatics at TUM!
Congratulations! Our former team member Gerwin Klein has won the GI dissertation prize for his thesis about verifying the Java bytecode verifier in Isabelle/HOL!

email:
phone:	+49 89 289 17302
fax:	+49 89 289 17307
office:	01.11.058 (Boltzmannstr. 3, Garching)
snail:	Prof. Tobias Nipkow Institut für Informatik Technische Universität München Boltzmannstr. 3 D-85748 Garching Germany

You can also write email directly to any other member of the team.