Alex Spelten

Diese Seite wird nicht mehr aktualisiert.

alex.   

Kontakt

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

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

Publikationen




Sammlung Schülerinformationsveranstaltungen