Automated Tutoring System for Automata Theory

Project Period: 2011-01-01 – 2021-12-31
Externally Funded
Principal Investigator
Tom Henzinger
Funding Organisation
Microsoft