You can use Automata Tutor at your university!

Send a mail to automatatutor@model.in.tum.de and we can add you as a teacher.
There are two possibilities how your students can log in:
  • Register by mail:
  • This is more suited if you just want to offer them some exercises to practice. They create an account with some mail address. However, you have little possibility to map grades to actual students.
  • Your university's login:
  • This is more suited if you want to be sure that you map the grades to the correct students. We add a button for your university to the frontpage, and it redirects to an LDAP/OAuth system that your university provides. The students do not create a new account for Automata Tutor, but can use the one they have in your system anyway.