Courses Taught
- CS142/IT501 - Introduction to Computer Science II
- CS345/MA345/CS541 - Automata Theory and Formal Languages
- CS142/IT501 - Introduction to Computer Science II
- CS344 - Algorithms and Data Structures
Research Interests
Theory of computation, computational complexity, Boolean circuits; proof complexity; algebraic theory of automata.