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

Lehrstuhl Theoretische Informatik

Institut für Informatik

Albert-Einstein-Straße 22, 18059 Rostock
Konrad-Zuse-Haus, Raum 255 (2. OG)

Tel.: (0381) 498 7670
Tel. Sekretariat: (0381) 498 7641

karsten.wolf(at)uni-rostock.de

Homepage | ➜ Lehrstuhl | ➜ Institut

Eintrag im LSF der Universität Rostock

Eintrag im Catalogus Professorum Rostochiensium

Lehre

  • Logik und Berechenbarkeit
  • Theoretische Informatik I: Komplexität und Formale Sprachen
  • Formale Methoden der Informatik
  • Compilerbau
  • Modellierung und Analyse verteilter Systeme
  • Computergestützte Verifikation
  • Modelle für Geschäftsprozesse und Services
  • Beauty is our Business
  • Ringvorlesung „Forschungsthemen der Informatik“
  • Ein neuer Termprozessor (KSWS und Projekt)

Forschung

  • Entwicklung korrekter Systeme
  • computergestützte Verifikation
  • Algorithmen für Web Services

Funktionen

  • Prorektor für Studium und Lehre der Universität Rostock
  • Mitglied in der ständigen Reformkommission der Universität Rostock für die Lehramtsstudiengänge
  • Mitglied der Senatskommission Studium, Lehre und Evaluation
  • Mitglied im Vorstand vom Fakultätentag Informatik
  • Leiter der Studienkommission vom Fakultätentag Informatik
  • stimmberechtigter Delegierter der Rostocker Informatik im Fakultätentag Informatik
  • Sprecher der Fachgruppe „Petrinetze und verwandte Systemmodelle“ der Gesellschaft für Informatik
  • Editorial board member of LNCS subseries ToPNOC (Theory of Petri nets and other models of concurrency)
  • Editorial board member of Petri Net Newsletter

Mitgliedschaften

  • Gesellschaft für Informatik (GI)