Alex Spelten
This page is no longer updated.
I was a member of Wolfgang Thomas' research group for
"Logic and Theory of Discrete Systems" at the
RWTH Aachen.
My research interests included the following fields:
- algorithmic verification of reactive systems
- trees over infinite structures
- path logics with synchronization and their automata-theoretic characterizations
Teaching
- Summer 2012
-
Exercises for Infinite Games
- Winter 2011/12
-
Exercises for Tree Automata
- Summer 2011
-
Exercises for Infinite Games
- Winter 2010/11
-
Exercises for Recursion Theory
- Summer 2010
-
Exercises for Automaten, Sprachen, Komplexität
- Winter 2009/10
-
Seminar on Automatentheorie
Exercises for Infinite Computations
- Summer 2009
-
Seminar on Automatentheorie
Exercises for Baumautomaten
- Winter 2008/09
-
Seminar on Automatentheorie
Exercises for Automaten auf unendlichen Wörtern
- Summer 2008
-
Exercises for Formale Systeme, Automaten, Prozesse
- Winter 2007/08
-
Exercises for Automata and Reactive Systems
- Summer 2007
-
Seminar on Automatentheorie
Exercises for Angewandte Automatentheorie
- Winter 2006/07
-
Exercises for Automata and Reactive Systems