I am a PhD student and research assistant in computer sciences at
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.