Dominic Steinhöfel

Dr. rer. nat. Dominic Steinhöfel

+49 6151 16-21955

Hochschulstraße 10
64289 Darmstadt

Raum: S2|02 A223

Mehr Informationen

Ich bin Postdoktorand in der Software Engineering Gruppe.

Ich möchte darauf hinweisen, dass ich im April 2017 meinen Nachnamen von Scheurer zu Steinhöfel geändert habe. Suchen Sie nach einem Dominic Scheurer, bin das wahrscheinlich ebenfalls ich.

Besuchen Sie auch meine private Website.

Publications

See the list of my publications here or visit DBLP (might be incomplete) or ORCID.

Research Interests

My interests center around deductive program verification and heavyweight symbolic execution. Currently, I am working on proving the correctness of abstract (schematic) programs and program transformations using a static program verification technique called Abstract Execution.

Teaching

Lectures

I'm not involved in any lectures in the current term.

Supervised Theses

Ongoing Theses

Please write me an email if you are interested in writing a final thesis under my supervision.

Thesis Offers

Currently, there are no thesis offers.

Past Theses

In the past, I supervised the following theses:

  • B.Sc. Thesis „Dynamische Generierung von Schleifen-Invarianten“
  • B.Sc. Thesis „Transparent Treatment of Loops in JavaDL“
  • M.Sc. thesis „Towards a Design for Verification Approach in Deductive Software Verification“
  • M.Sc. thesis „Automatic Generation of Loop Invariants“ (co-supervisor together with Richard Bubel)
  • Bachelor Thesis: Join Block Contracts for a Dynamic Logic Calculus

Past

  • 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)

Activities

Projects

I am involved in the KeY project as a project member.

zur Liste