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
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)