Here is my hompage at the MPI.

I was also involved in the development of the LEO-II higher-order theorem prover, together with Christoph Benzmüller and Frank Theiss.
References: [1] [2]

  Labelled Splitting (Master Thesis, 2007)
References: [1]

Learning Minimal Requirements for Compositional Verification (Bachelor Thesis, 2006)

Selected seminar talks:

  Abstractions from Proofs  (Software Model Checking SS05)
References: [1]

  Shostak's Method  (Decision Procedures for Logical Theories WS0506)
References: [1] [2] [3]