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.
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.
Easier Typesetting of Proof Trees - A Frontend to the LaTeX Bussproofs package with accompanying VIM Plugin