Current focus · AI and Theory of Computation Education
I study how AI can support the teaching and learning of theory of computation, and how to measure what students can explain and solve independently. One line of work compares how language models answer textbook questions about automata, formal languages, and computability.
Plug and Play Teaching Tools

