Prof. Dr. rer. nat. habil. Karsten Wolf
Universität Rostock
Institut für Informatik
Theoretische Informatik
Albert-Einstein-Straße 22
18059 Rostock
Büro: Konrad-Zuse-Haus Raum 255
E-Mail: karsten.wolfuni-rostockde
Telefon: +49 381 498-7670
Fax: +49 381 498-7642
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.
Abschlüsse / Degrees
07/1985 |
Abitur an der Spezialschule mathematisch-naturwissenschaftlicher Richtung Heinrich Hertz in Berlin College entrance exam in Berlin |
04/1993 |
Abschluss als Diplom-Informatiker an der Humboldt-Universität zu Berlin; Prädikat: mit Auszeichnung; Thema der Diplomarbeit: Implementation der Umgebung eines Programms zur Prüfung und Berechnung von Invarianten algebraischer Petrinetze Diploma thesis (comparable to Masters Thesis) from Humboldt-Universität zu Berlin, grade: excellent. Topic: Implementation of the environment for an invariant checker and calculator for algebraic Petri nets. |
03/1996 |
Promotion zum doctor rerum naturalium an der Humboldt-Universität zu Berlin; Prädikat: summa cum laude; Thema der Dissertation: Symbolische Analysemethoden für algebraische Petri-Netze Doctoral degree (comparable to PhD) from Humboldt-Universität zu Berlin, grade: summa cum laude (excellent). Topic: Symbolic analysis methods for algebraic Petri nets. |
12/2002 |
Habilitation für das Fach Informatik an der Humboldt-Universität zu Berlin; Thema der Habilitationsschrift: Explicit State Space Verification; Thema des öffentlichen Vortrags: Abstrakte Interpretation Habilitation (degree for being able to assume professorial positions) from Humboldt-Universität zu Berlin. Topic of thesis: Explicit state space verification. Topic of public lecture: Abstract interpretation. |
06/2003 |
Verleihung der Lehrbefugnis für das Fach Informatik durch die Humboldt-Universität zu Berlin Certificate asserting freedom for research and teaching from Humboldt-Universität zu Berlin |
Studium und wissenschaftliche Tätigkeit in Deutschland / Study and scientific positions in Germany
09/1988 - 04/1993 |
Studium der Informatik an der Humboldt-Universität zu Berlin Study of computer science at Humboldt-Universität zu Berlin |
05/1993 - 04/1996 |
wissenschaftlicher Mitarbeiter am Institut für Informatik der Humboldt-Universität zu Berlin Research and teaching assistent and PhD student in the institute of computer science, Humboldt-Universität zu Berlin |
01/1997 - 09/1997 |
Stipendiat im Graduiertenkolleg Spezifikation diskreter Prozesse und Prozesssysteme durch operationelle Modelle und Logiken an der Technischen Universität Dresden (Prof. H. Vogler (Sprecher)) Postdoctoral scholar in the graduation school „Specification of discrete processes and process systems by operational models and logics (Speaker: Prof. H. Vogler), Dresden University of Technology. |
10/1997 - 12/2005 |
wissenschaftlicher Mitarbeiter am Institut für Informatik der Humboldt-Universität zu Berlin Researcher and Teacher in the institute of computer science, Humboldt-Universität zu Berlin |
10/2002 - 07/2003 |
Vertretung der Professur Automaten und Systemtheorie (Nachfolge Prof. P. Starke) am Institut für Informatik der Humboldt-Universität zu Berlin Replacement of the chair Automata and system theory in the institute of computer science, Humboldt-Universität zu Berlin |
01/2006 - 05/2015 |
Professor für Theorie der Programmiersprachen und Programmierung am Institut für Informatik der Universität Rostock Professor for Theory of programming languages and programming |
09/2011 |
Ruf auf eine Professur Theoretische Informatik an die Universität Hamburg; abgelehnt Offer for professorship in theoretical computer science at Universität Hamburg; declined |
seit 06/2015 |
Professor für Theoretische Informatik am Institut für Informatik der Universität Rostock Professor for theoretical computer science |
Wissenschaftliche Tätigkeit im Ausland / Scientific positions abroad
05/1996 - 10/1996 | Stipendiat des DAAD am Digital Systems Laboratory (Prof. L. Ojala) der Helsinki University of Technology, Espoo, Finnland Scholar of DAAD (German academic exchabge service) in the Digital Systems Laboratory (Prof. L. Ojala) of Helsinki University of Technology, Espoo, Finland |
11/1996 - 12/1996 |
wissenschaftlicher Mitarbeiter am selben Ort Researcher at same place |
10/2000 - 09/2001 |
Mitarbeit im DARPA-Projekt Model Based Integration of Embedded Software in der Model Checking Group (Prof. E.M.Clarke) an der Carnegie Mellon University in Pittsburgh, PA, U.S.A Researcher in the DARPA founded project Model Based Integration of Embedded Software in the Model Checking Group (Prof. E.M. Clarke) at Carnegie Mellon University, Pittsburgh, PA, U.S.A |
Mitarbeit in Gremien und Komitees (Auswahl) / memberships (selection)
- Mitglied im Editorial Board der / Editorial board member of LNCS subseries ToPNOC (Theory of Petri nets and other models of concurrency)
- Mitarbeit im Editorial Board des / Editorial board member of Petri Net Newsletter
Verwaltung / Administration (in German only)
Universitäre Selbstverwaltung
Prorektorat für Studium und Lehre
Der Proektor für Studium und Lehre ist in der Universitätsleitung für alle Angelegenheiten des Lehrbetriebs zuständig. Karsten Wolf übt dieses Amt seit April 2023 aus.
Fakultätentag Informatik
Im Fakultätentag kommen Vertreter aller Informatik-Studiengänge in Deutschland zusammen, um Fragen der Zusammenarbeit und der Informatik-Ausbildung zu beraten. Karsten Wolf vertritt die Rostocker Informatik seit Herbst 2009. Seit 2020 ist er Mitglied des Vorstandes und leitet die Studienkommission des Fakultätentages.
Abgeschlossene Tätigkeiten
Akademischer Senat der Universität
Der Akademische Senat hat wesentliche Entscheidungs-, Wahl- und Mitwirkungsaufgaben in der Universität. Karsten Wolf war gewähltes Mitglied von Oktober 2012 bis April 2023.
Senatskommission für Studium und Lehre
Die Senatskommission berät Fragen der Lehre und des Studiums der Universität und erstellt Vorlagen für den Akademischen Senat. Karsten Wolf arbeitete von Oktober 2010 bis April 2023 in dieser Kommission mit und und war seit Oktober 2015 ihr Vorsitzender.
Direktor des Instituts für Informatik
Karsten Wolf leitete das Institut für Informatik von Oktober 2018 bis März 2023.
Reformkommission der Universität für die Lehramtsstudiengänge
Diese ständige Kommission plant Einrichtungen oder wesentliche Umstrukturierungen von Lehramtsstudiengängen der Universität. Karsten Wolf war Mitglied dieser Kommission von 2012 bis 2023.
Prodekan der Fakultät
Der Prodekan ist Mitglied der Fakultätsleitung. Karsten Wolf war Prodekan der Fakultät für Informatik und Elektrotechnik vpn 2018-2021.
Beirat für die Hochschulpaktmittel
Der Beirat berät die Universitätsleitung in Fragen der Verwendung zugewiesener Mittel aus dem Hochschulpakt. Karsten Wolf war Mitglied des Beirats von 2012-2018.
Studiendekan der Fakultät
Der Studiendekan ist verantwortlich für alle Fragen der Lehre und die studentischen Belange der Fakultät. Karsten Wolf war Studiendekan von 2010-2018.
Zentrum für Lehrerbildung und Bildungsforschung
Das Zentrum koordiniert alle Fragen der Lehramtsausbildung und Bildungsforschung im Land Mecklenburg-Vorpommern. Karsten Wolf gehörte dem Direktorium des (zunächst Rostocker) Zentrums als Repräsentant der Rostocker Fachwissenschaften von 2012-2018 an.
Prüfungsausschuss für den Masterstudiengang Technische Kommunikation
Der Studiengang wird im Rahmen des Weiterbildungsprogramms der Universität angeboten. Im Prüfungsausschuss sind Anträge zu Prüfungsverfahren zu behandeln. Karsten Wolf war Vorsitzender von 2011-2019.
Raumkommission für den Neubau Informatik
Die Raumkommission begleitete die Überarbeitung der Planung des Neubaus des Informatikgebäudes. Sie stand den Architekten für Endnutzergespräche zur Verfügung. Karsten Wolf war Mitglied von 2007 bis zur Eröffnung 2011.
Prüfungsausschuss Informatik
Der Prüfungsausschuss bearbeitet Anträge und Beschwerden der Studierenden, die im Zusammenhang mit dem Absolvieren von Prüfungen und anderen Leistungsnachweisen der Studierenden auftreten. Er überwacht außerdem die Einhaltung der Fristen für das Absolvieren von Studienabschnitten. Karsten Wolf war von 2007-2010 Mitglied und 2008-2010 Vorsitzender folgender Prüfungsausschüsse:
- Informatik
- Visual Computing
- Wirtschaftsinformatik
- Business Informatics
Zentraler Prüfungsausschuss für die Lehramtsstudiengänge
In diesem Prüfungsausschuss arbeiten Mitglieder diverser Status- und Fächsrgruppen mit. Karsten Wolf war von 2019 bis 2021 Mitglied für die Fächergruppe Informatik und Arbeit/wirtschaft/Technik.
Reformkommission der Universität für die Einrichtung eines Studienganges
Eine Reformkommission wird gegründet, um die Einrichtung oder wesentliche Umstrukturierung eines neuen Studienganges vorzubereiten. Karsten Wolf war Mitglied folgender Reformkommissionen:
- MSc High Tech Entrepreneurship, 2009 - 2010
- MSc Technische Kommunikation, Vorsitz, 2011
- BSc Informatik, Vorsitz, 2012
- BSc Elektrotechnik, 2012
- BSc Informationstechnik/Technische Informatik, 2012
Zugang von Berufstätigen an die Universität Rostock
Die Kommission prüft Anträge Berufstätiger, die gemäß den Vorschriften der Universität ohne Abitur ein Studium aufnehmen möchten und stellt ggf. Aufnahmeprüfungen. Karsten Wolf war Mitglied des Prüfungsausschusses an der Fakultät von 2006-2010.
Erstellung eines Fakultätsfrauenförderplans
Die Kommission hatte den Auftrag, für die Fakultät einen Frauenförderplan für die Jehre 2007-2009 zu erstellen. Der Plan analysiert die Situation von Frauen in der Fakultät und gibt Maßnahmen zur Erhöhung des Frauenanteils vor. Karsten Wolf leitete diese Kommission von ihrer Bestellung im Mai 2006 bis zum erfolgreichen Abschluss der Tätigkeit im Oktober 2006.
Berufungskommission
Eine Berufungskommission ist zuständig für die Neubesetzung einer vakanten Professur. Karsten Wolf war bzw. ist Mitglied bzw. Vorsitzender mehrerer Berufungskommissionen der Fakultät.
(Mit)Organisation / (Co)Organisation
Sep 2010 | 5th Advanced Course on Petri Nets in Rostock |
Sep 2008 | German Workshop Algorithmen und Werkzeuge für Petrinetze in Rostock |
Sep 2008 | 5th Int. Workshop Web Services and Formal Methods in Milan |
Jun 2007 | Workshop on Formal Aspects of Business Processes and Web Services in Siedlce |
Jun 2006 | Advanced Tutorial on Petri Net Modeling of Business Processes in Turku |
Sep 2005 | German Workshop Algorithmen und Werkzeuge für Petrinetze |
Programmkommitee-(Ko-)Vorsitz / Program Committee (Co) Chair
Sep 2012 | Doctoral Consortium with the International Conference on Business Process Management in Tallinn |
Sep 2011 | 9th International Conference on Business Process Management in Clermont-Ferrand |
Jun 2009 | 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency in Paris |
Sep 2008 | 5th International Workshop on Web Services and Formal Methods in Milan |