Christos Kapoutsis Associate Teaching Professor of Computer Science Research Areas: Computational complexity and cryptography Formal languages and automata theory
Klaus Sutner Teaching Professor Research Areas: Computability Formal languages and automata theory Symbolic and algebraic manipulation