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.

News

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… Read more Extract Inkscape Layers to PDF files for LaTeX Beamer Presentations
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.… Read more The content of this domain has been replaced