Dominic Steinhöfel

Dominic Steinhöfel

Postdoctoral Researcher in Computer Science

CISPA Helmholtz Center for Information Security

About me.

I am a postdoctoral researcher of computer science at CISPA Helmholtz Center for Information Security, working in the research group of Andreas Zeller. My research focuses on languages, techniques, and tools for increasing confidence in the software correctness. To this end, I work on testing and program proving approaches and design specification languages for the unit and system level. As part of my research, I contributed Abstract Execution, an automatic verification framework mainly for unit-level program transformations, and ISLa, a language and solver for complex string constraints for the precise testing and analysis of software systems.

  • Specification-Based Fuzzing
  • Specification Mining
  • Program Proving
  • Symbolic Execution
  • Formal Languages
  • PhD in Computer Science, 2020

    Technical University of Darmstadt

  • MSc in Computer Science, 2015

    Technical University of Darmstadt

  • BSc in Computer Science, 2013

    Technical University of Darmstadt


Postdoctoral Researcher
Jan 2021 – Present Saarbrücken, Germany
Research Assistant (Postdoctoral Researcher)
May 2020 – Dec 2020 Darmstadt, Germany
Research Assistant (Doctoral Researcher)
May 2015 – May 2020 Darmstadt, Germany



Own Courses

During my time at CISPA, I was the main organizer of several seminars held together with Andreas Zeller.

  • 2022: Multimodal seminar on Symbolic Execution (upcoming)
    This seminar focuses on central aspects of symbolic execution. It consists of lecture, paper presentation, and lab sessions. I developed all the concepts and technical materials of the lecture and lab parts.
  • 2021/22: Seminar on Automated Testing and Debugging
    This seminar covers fuzzing, property-based testing, specification inference, and debugging approaches like Delta and Statistical Debugging.
  • 2021: Seminar on Specification and Testing
    In this seminar, we discussed approaches to specification-based automated testing and mining specifications based on dynamic execution data.

Teaching Assistant

  • 2016/17, 2017/18: Software Engineering Lecture
    For this mandatory course for Bachelor students at TU Darmstadt, I organized the exercises, including tutor supervision, preparing exercise sheets, and chairing exercise sessions.
  • 2015, 2015/16, 2017/18: Bachelor Lab
    This is a mandatory course for Bachelor students at TU Darmstadt. Students work in teams on assigned software projects during a 6-month period. I handled many aspects of the course’s organization.
  • Seminars: I supervised students in several seminars at TU Darmstadt.