Fabian Immler

I studied computer science, with mathematics as minor subject, at the TU München since 2007. Since November 2012 I am a Ph.D. student as part of the PUMA graduate school.

Address: Fabian Immler
Technische Universität München
Institut für Informatik
Boltzmannstr. 3
85748 Garching
Telephone: +49 (89) 289-17330
Telefax: +49 (89) 289-17307
Office: MI 00.09.061[MI 00.09.061]
eMail: immler the at sign in.tum.de

My interests are in interactive theorem proving and especially formalizing mathematics in higher-order logic. I currently work on the verification of validated numerical methods, in particular for solving ordinary differential equations.


Journal Articles

Conference Proceedings

Formal Proofs


Master's thesis

Valid HTML 4.01 Strict