Dominic Steinhöfel, M.Sc.
work +49 6151 16-21955
Office: S2|02 A223
I am a research assistant and PhD student at the Software Engineering Group. My supervisor is Prof. Reiner Hähnle.
Please note that in April 2017, I changed my name from Scheurer to Steinhöfel; so if you're looking for a Dominic Scheurer, that's probably also me.
My interests center around logics and program verification. In the past, I was working on State Joining and Abstraction techniques. Currently, I am focusing on making heavyweight symbolic execution practical by (1) applying it in (sound) program transformation and compilation, (2) developing a system for collaborative specification of software libraries, (3) improving the scalability of symbolic execution by integrating state merging in loop invariants and method body specifications, and (4) using symbolic execution for assessing the strength of formal verifications.
I'm not involved in any lectures in the current term.
- M.Sc. thesis “Towards a Design for Verification Approach in Deductive Software Verification”
Currently, there are no thesis offers.
In the past, I supervised the following theses:
- M.Sc. thesis “Automatic Generation of Loop Invariants” (co-supervisor together with Richard Bubel)
- Bachelor Thesis: Join Block Contracts for a Dynamic Logic Calculus
- Winter term 2017/18: Exercises of the “Software Engineering” lecture.
- Winter term 2017/18: Organization of the Bachelorpraktikum (assisting Richard Bubel)
- Summer term 2017: “Software Project Failures” Seminar
- Winter term 2016/17: Exercises of the “Software Engineering” lecture.
- Winter term 2015/16: Organization of the Bachelorpraktikum (assisting Richard Bubel)
- Summer term 2015: Organization of the Bachelorpraktikum (assisting Richard Bubel)
- 15th KeY Symposium 2016 (local co-organizer)
I am involved in the KeY project as a project member.