About me.

Dominic Steinhöfel is a postdoctoral researcher of computer science at CISPA Helmholtz Center for Information Security, working in the research group of Andreas Zeller. His research interests comprise (static and concolic) symbolic execution, test case generation and specification mining.

Among his main contributions so far 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.