Nie jesteś zalogowany | Zaloguj się

Automating automata exams

Prelegent(ci)
Mikołaj Bojańczyk
Afiliacja
Uniwersytet Warszawski
Termin
3 października 2012 14:15
Pokój
p. 5870
Seminarium
Seminarium „Teoria automatów”

Online education is hot. One weakness is grading students' solutions
to problems. So far, automatic systems can do superficial grading of
genuine problems (e.g. multiple choice questions about theory, or
testing algorithms), or genuine grading of superficial problems (e.g.
produce a minimal deterministic automaton for a given language). I
think the time and place is right to go beyond this, in the field of
formal languages. The computer technology is ready, and the Warsaw
automata group has the appropriate skills.