Alex Spelten

This page is no longer updated.

alex.   

Contact

Email spelten(at)automata.rwth-aachen.de

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

Publications




Sammlung Schülerinformationsveranstaltungen