Prof. Dr. rer. nat. habil. Karsten Wolf


Anschrift Universität Rostock
Institut für Informatik
Theoretische Informatik
Albert-Einstein-Straße 22
D-18051 Rostock


Büro: Raum 255, Konrad-Zuse-Haus
Telefon: +49 381 498-7670
Fax: +49 381 498-7642
E-Mail:karsten.wolf(at)uni-rostock.de

 

Lebenslauf / Curriculum vitae

Verwaltung / Administration (in German only)

Wissenschaftliche Veranstaltungen / Scientific Events

 

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.