Prof. Karsten Wolf - Theoretische Informatik

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

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

Prof. Wolf has held the Chair of Theoretical Computer Science since June 2015. Previously, he was Professor of Theory of Programming Languages and Programming. His research focuses on the development of algorithms and tools for assuring the correctness of systems. In teaching, he is involved in basic lecures in theoretical computer science and offers specialization courses in which the application of theoretically sound methods to practically relevant problems is demonstrated.

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.

Abgeschlossene Tätigkeiten

Fakultätentag Informatik
Von 2020 bis 2024 war Karsten Wolf Mitglied des Vorstandes und leitete die Studienkommission des Fakultätentages.

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