I’m Fabian Huch, researcher at the Chair for Logic and Verification.

My research is focused around the intersection of Interactive Theorem Proving with Software Engineering and Machine Learning, as well as maintaining and improving the archive of formal proofs.

I’m also interested in Semantics, Compilers, and Programming Languages.


E-Mail {huch} AT []
Address Boltzmannstraße 3, 85748 Garching
Office 00.09.062
Phone +49 (89) 289 17336
Office Hours By appointment