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.

---