I am a PhD student and research assistant in computer sciences at Technische Universität Darmstadt. My research interests focus on formal  methods and logics in general, and on program verification-related aspects in particular. See here for my current list of publications.


Extract Inkscape Layers to PDF files for LaTeX Beamer Presentations - I like doing fancy presentations with little text (but in the titles, I heard that’s called “power titles” occasionally) but with a lot of graphics and animations. As a computer scientist who uses a lot of math stuff in his work, I of course use LaTeX even for creating presentations for its math features, although, […]
Easier Typesetting of Proof Trees - A Frontend to the LaTeX Bussproofs package with accompanying VIM Plugin
The content of this domain has been replaced - The content of the old website is still available under the given link, but will be removed after February 2017. Sorry for any inconveniences! Maybe you also (or instead) want to visit my homepage at Technische Universität Darmstadt.