Hello!My research interests lie in the Formalisation of Mathematics in Theorem Provers. For an introduction to this field see my research page in Innsbruck. I focus on the following topics:
TeachingLinks about my lectures and projects for students are available on a separate page (in German).
My address at work:Dr. Clemens Ballarin
Institut für Informatik
Technische Universität München
85748 Garching, Germany
E-mail:ballarin at in tum de