Jan-Henrik Altenbernd
I was a member of Wolfgang Thomas' research
group for
"Logic and Theory of Discrete Systems" at the
RWTH Aachen.
My research interests included, amongst others, automata, formal languages,
and verification of infinite systems.
Involvement in Courses
- Summer 2008
- Practical Course Informatikpraktikum für Mathematiker
- Winter 2007/08
-
Proseminar on Algorithmen für Transitionssysteme
Practical Course Informatikpraktikum für Mathematiker - Summer 2007
-
Seminar on Automatentheorie
Practical Course Webprogrammierung und das Satzsystem LaTeX - Winter 2006/07
- Exercises for Strukturtheorie regulärer und kontextfreier Sprachen
- Summer 2006
- Exercises for Infinite-State System Verification
- Winter 2005/06
- Exercises for Automaten, Sprachen und Komplexität
- Summer 2005
-
Exercises for Advanced Theory of Finite Automata
Exercises for Unendliche Transitionssysteme - Winter 2004/05
-
Seminar on Automatentheorie
Proseminar on Internet-Protokolle - Summer 2004
-
Exercises for Automatentheorie und formale Sprachen
Seminar on Automatentheorie - Winter 2003/04
-
Exercises for Automaten, Sprachen und Komplexität
Seminar on Automaten und semistrukturierte Daten (XML) - Summer 2003
- Software Lab Visualisierung von Algorithmen