Karianto Wong

Contact

Email firstname (at) cs rwth-aachen de

Research interests

  • tree automata on unranked trees (see our group's project Algorithmic Theory of Tree Automata)
  • Presburger arithmetic and its extensions
  • formal verification and model checking

Publications

Selected Talks

Teaching

Winter Term 2009/2010:
Seminar on Automata Theory
Summer Term 2009:
Seminar on Automata on Infinite Words and Infinite Games
Winter Term 2008/2009:
Proseminar (undergraduate seminar) on Automata Theory
Summer Term 2008:
Seminar on Automata and Reactive Systems
Exercises to Applied Automata Theory
Winter Term 2007/2008:
Seminar on Tree Automata
Exercises to Automaten, Sprachen und Komplexität
Summer Term 2007:
Seminar on Automata and Reactive Systems
Exercises to Chapters of Automata Theory
Winter Term 2006/2007:
Seminar on Timed Automata and Hybrid Systems
Summer Term 2006:
Seminar on Automata on Infinite Words and Infinite Games
Exercises to Recursion Theory
Winter Term 2005/2006:
Seminar on Automata for XML Documents