About me.

Dominic Steinhöfel is a postdoctoral researcher of computer science at Technical University of Darmstadt. His research interests center around (deductive) program verification, mostly using symbolic execution techniques.

His current focus is on Software Reengineering techniques, which aim to transform software to increase mainly non-functional properties like maintainability or performance. Among his early contributions to the field is Abstract Execution, a specification and verification framework for modeling and automatically proving conditional correctness of program transformations. His tool REFINITY, a workbench for modeling Java program transformations, has been used to extract preconditions for the safe application of code refactoring techniques. On the more theoretical side, he contributed Modal Trace Logic, a framework for formalizing, e.g., program evolution and bug fixing.

His goals are to develop methods for creating robust, reliable software, using lightweight (testing) as well as heavyweight (deductive verification) techniques. Dominic’s focus is on basic research in the border zone between theory and practice. He always strives for usable tool support, even for theory-heavy results. As a longterm goal, he aims to establish a holistic landscape of theories and tools for safe and secure Software Reengineering.