Alex Spelten
Diese Seite wird nicht mehr aktualisiert.
Ich war ein Mitglied von Wolfgang Thomas' Forschungsgruppe
"Logik und Theorie diskreter Systeme" an der
RWTH Aachen.
Meine Forschungsinteressen beinhalteten u.a. die folgenden Bereiche:
- algorithmische Verifikation von reaktiven Systemen
- Bäume über unendlichen Strukturen
- Pfadlogiken mit Synchronisation und deren automatentheoretische Charakterisierungen
Lehre
- Sommersemester 2012
-
Übungen zu Infinite Games
- Wintersemester 2011/12
-
Übungen zu Tree Automata
- Sommersemester 2011
-
Übungen zu Infinite Games
- Wintersemester 2010/11
-
Übungen zu Rekursionstheorie
- Sommersemester 2010
-
Übungen zu Automaten, Sprachen, Komplexität
- Wintersemester 2009/10
-
Seminar über Automatentheorie
Übungen zu Infinite Computations
- Sommersemester 2009
-
Seminar über Automatentheorie
Übungen zu Baumautomaten
- Wintersemester 2008/09
-
Seminar über Automatentheorie
Übungen zu Automaten auf unendlichen Wörtern
- Sommersemester 2008
-
Übungen zu Formale Systeme, Automaten, Prozesse
- Wintersemester 2007/08
-
Übungen zu Automata and Reactive Systems
- Sommersemester 2007
-
Seminar über Automatentheorie
Übungen zu Angewandte Automatentheorie
- Wintersemester 2006/07
-
Übungen zu Automata and Reactive Systems