I am a researcher at the
Informatics Institute,
Technical University Munich, in
the
Theorem Proving Group headed by
Tobias Nipkow and patroned by goddess
Isabelle.
I am interested in Mathematical Logic,
Theorem Proving, and Programming Languages. I am currently involved in the
Secure Type Systems and Deduction project.
In the past, I have worked on Fuzzy Logic and Abstract Model Theory.