My research interests include formal languages and automata theory, parsing, program synthesis, and security.