Foundations and Applications of Machine Supported Proofs

picture of the group

We're a flexible, client-driven organization!

News

Contact

email: {nipkow} AT [in.tum.de]
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.