Teaching:
CS 278 (Fall 08)
CS 570 (Fall 08)
Research:
Recent research papers on automata
Hing Leung