Jan-Henrik Altenbernd
Ich war ein Mitglied von Wolfgang Thomas'
Forschungsgruppe
"Logik und Theorie diskreter Systeme" an der
RWTH Aachen.
Meine Forschungsinteressen beinhalteten unter anderem Automaten, formale
Sprachen und die Verifikation unendlicher Systeme.
Mitwirkung an Lehrveranstaltungen
- Sommersemester 2008
- Informatikpraktikum für Mathematiker
- Wintersemester 2007/08
-
Proseminar über Algorithmen für Transitionssysteme
Informatikpraktikum für Mathematiker - Sommersemester 2007
-
Seminar über Automatentheorie
Praktikum Webprogrammierung und das Satzsystem LaTeX - Wintersemester 2006/07
- Übungen zu Strukturtheorie regulärer und kontextfreier Sprachen
- Sommersemester 2006
- Übungen zu Infinite-State System Verification
- Wintersemester 2005/06
- Übungen zu Automaten, Sprachen und Komplexität
- Sommersemester 2005
-
Übungen zu Advanced Theory of Finite Automata
Übungen zu Unendliche Transitionssysteme - Wintersemester 2004/05
-
Seminar über Automatentheorie
Proseminar über Internet-Protokolle - Sommersemester 2004
-
Übungen zu Automatentheorie und formale Sprachen
Seminar über Automatentheorie - Wintersemester 2003/04
-
Übungen zu Automaten, Sprachen und Komplexität
Seminar über Automaten und semistrukturierte Daten (XML) - Sommersemester 2003
- Softwarepraktikum Visualisierung von Algorithmen