Prof. Wolf hat seit dem 01.01.2006 die Professur Theorie der Programmiersprachen und Programmierung inne. Er beschäftigt sich in der Forschung mit der Entwicklung von Algorithmen und Werkzeugen für die Zusicherung von Korrektheit von Systemen. In der Lehre beteiligt er sich an der Grundausbildung in theoretischer Informatik und bietet im Hauptstudium vorrangig Veranstaltungen an, in denen die Anwendung theoretisch fundierter Methoden auf praktisch relevante Probleme demonstriert wird.

Prof. Wolf has been leading the group Theory of programming languages and programming since Jan 1, 2006. His research is centered around the development of tools and algorithms for asserting correctness of systems. For undergraduate students, he teaches topics of theorectical computer science. In his various courses for graduate students, his focis is on demonstrating partical applicability of theoretically founded concepts.