Fabian Immler

Since July 2020, I work as a Formal Verification Engineer at Apple.

eMail: fabian.immler the at sign gmail.com

From July 2018 to June 2020 I was a Post-Doctoral Fellow in the Logical Systems Lab @ Carnegie Mellon University

My research interests are along the following lines

I defended my Ph.D. on A Verified ODE Solver and Smale's 14th Problem in May 2018.

Starting in November 2012, I was a Ph.D. student as part of the PUMA graduate school and working on the DFG Kosseleck project Verified Algorithm Analysis. I studied computer science (B.Sc. and M.Sc.), with mathematics as minor subject, at TU München since 2007.



Ph.D. Thesis

Journal Articles

Conference Proceedings

Formal Proofs


Master's Thesis