Jörg Olschewski
Kontakt
Anschrift | RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen |
---|---|
Büro | Raum 4106, Ahornstr. 55, 52074 Aachen |
Telefon | +49 (241) 80 21717 |
Telefax | +49 (241) 80 22215 |
olschewski(at)automata.rwth-aachen.de | |
Sprechstunde | nach Vereinbarung |
Ich bin ein Mitglied von Wolfgang Thomas' Forschungsgruppe "Logik und Theorie diskreter Systeme" an der RWTH Aachen. Meine Interessen beinhalten u.a. die folgenden Bereiche:
- Controller-Synthese und die Berechnung von Gewinnstrategien in unendlichen Spielen
- algorithmische Aspekte von Automaten und Spielen auf Graphen
- synchronisierende Automaten
- Unterklassen der regulären Sprachen und ihre Charakterisierungen
Publikationen
Diplomarbeit
Lehre
- Sommersemester 2012
- Übungen zu Formale Systeme, Automaten, Prozesse
- Wintersemester 2011/12
- Seminar über Automatentheorie
- Sommersemester 2011
- Übungen zu Angewandte Automatentheorie
- Wintersemester 2010/11
- Proseminar über Automatentheorie
- Sommersemester 2010
- Forschungsaufenthalt an der ENS Cachan
- Wintersemester 2009/10
-
Seminar über Automatentheorie
Übungen zu Infinite Computations - Sommersemester 2009
- Seminar über Automatentheorie