Jan-Henrik Altenbernd
Kontakt
| Anschrift | RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen |
|---|---|
| Büro | Raum 4117b, Ahornstr. 55, 52074 Aachen |
| Telefon | +49 (241) 80 21710 |
| altenbernd(at)informatik.rwth-aachen.de | |
| Sprechstunde | nach Vereinbarung |
Ich bin ein Mitglied von Wolfgang Thomas'
Forschungsgruppe
"Logik und Theorie diskreter Systeme" an der
RWTH Aachen.
Meine Forschungsinteressen beinhalten 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