Lebenslauf / Curriculum vitae
Karsten Wolf (geb. Schmidt),
Prof.
Dr. rer. nat. habil.
|
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
|
 zurück zum Seitenanfang
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
|
| Seit 01/2006
|
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
|
zurück zum Seitenanfang
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
|
zurück zum Seitenanfang
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)
-
Sprecher der FG 0.0.1 Petrinetze und verwandte Systemmodelle der GI / Chair of the working group Petri nets and related system models of GI
-
Mitarbeit im Editorial Board des / Editorial board member of Petri Net Newsletter
zurück zum Seitenanfang
|