Welcome

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.

In April 2017, I changed my surname from Scheurer to Steinhöfel. So, if you’re looking for a Dominic Scheurer, this also could be me.

News

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.
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, … Continue reading 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