Dr. Alexander Krauss

Research Interests

Definition Principles Isabelle Theorem Prover Formal Methods Functional Programming HOL Partial Functions Pattern Matching Program Verification Recursion Relation Algebra Rewriting Set Theory Termination Interactive Theorem Proving Type Theory

I am a former member of the Theorem Proving Group, headed by Tobias Nipkow. My research interests are located somewhere in the cloud to the right. In my dissertation I developed a defininition mechanism for recursive functions in Isabelle, and methods to prove termination of such functions automatically.

I left TUM in August 2011, and now work at QAware GmbH.

Publications

Preprints

Refereed

Thesis

Others

Teaching

SS 2011: Perlen der Informatik 2 (Übungsleitung)
WS 2010/11: Semantics of Programming Languages (Übungsleitung)
SS 2010: Einführung in die Theoretische Informatik (Übungsleitung)
SS 2009: Einführung in die Theoretische Informatik (Übungsleitung)
WS 2008/09: Logic (Übungsleitung)
SS 2008: Einführung in die Theoretische Informatik (Übungsleitung)
WS 2007/08: Perlen der Informatik (Übungsleitung)
SS 2007: Perlen der Informatik 2 (Übungsleitung)
WS 2006/07: Perlen der Informatik (Übungsleitung)