Automating automata exams

Speaker(s)

Mikołaj Bojańczyk

Affiliation

Uniwersytet Warszawski

Date

Oct. 3, 2012, 2:15 p.m.

Room

room 5870

Seminar

Seminar Automata Theory

---

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.

---