Karianto Wong
Kontakt
| Anschrift | RWTH Aachen, Lehrstuhl für Informatik 7, D-52056 Aachen |
|---|---|
| Büro | Ahornstraße 55, Raum 4230 (Erweiterungsbau E1), D-52074 Aachen |
| Telefon | +49 (241) 80 21716 |
| Telefax | +49 (241) 80 22215 |
| karianto(at)cs.rwth-aachen.de | |
| Sprechstunde | nach Vereinbarung |
Forschungsinteressen
- Automaten auf unbeschränkt verzweigten Bäumen (insbesondere im Rahmen des Projekts Algorithmische Theorie der Baumautomaten)
- Presburger-Arithmetik (und ihre Erweiterungen)
- formale Verifikation und Model-Checking
Veröffentlichungen
Ausgewählte Vorträge:
- Adding monotonic counters to automata and transition graphs
- On the Parikh images of level-two pushdown automata
- On intersection problems for polynomially generated sets
- Unranked tree automata with sibling equalities and disequalities
Lehre
- Wintersemester 2009/2010:
- Seminar über Automatentheorie
- Sommersemester 2009:
- Seminar über Automatentheorie (Themengebiet: Automaten auf unendlichen Wörtern und Unendliche Spiele)
- Wintersemester 2008/2009:
- Proseminar zur Automatentheorie
- Sommersemester 2008:
- Seminar über Automatentheorie (Themengebiet: Automaten und Reaktive Systeme)
- Übungen zur Vorlesung Angewandte Automatentheorie
- Wintersemester 2007/2008:
- Seminar über Baumautomaten
- Übungen zur Vorlesung Automaten, Sprachen und Komplexität
- Sommersemester 2007:
- Seminar über Automatentheorie (Themengebiet: Automaten und Reaktive Systeme)
- Übungen zur Vorlesung Chapters of Automata Theory
- Wintersemester 2006/2007:
- Seminar über Automatentheorie: zeitbehaftete und hybride Automaten
- Sommersemester 2006:
- Seminar über Automatentheorie (Themengebiet: Automaten auf unendlichen Wörtern und unendliche Spiele)
- Übungen zur Vorlesung Rekursionstheorie
- Wintersemester 2005/2006:
- Seminar über Automaten für XML