Synthesis for Education

Date

January 14, 2013

Speaker

Sumit Gulwani

Affiliation

MSR

Overview

Recently, program synthesis techniques have been successfully used for synthesizing small scripts from examples and natural language in the area of end-user programming. In this talk, I will describe some surprising applications of these synthesis techniques in the area of intelligent tutoring systems including solution generation, problem generation, automated grading, and even structured content entry. I will demonstrate these applications for various subject domains including ruler/compass based geometric constructions, algebraic proof problems, procedural math problems, automata theory, and introductory programming. The underlying synthesizers leverage search techniques from various communities including use of SAT/SMT solvers (formal methods community), version space algebras (machine learning community), and A*-style goal-directed heuristics (AI community).

Speakers

Sumit Gulwani

Sumit Gulwani is a senior researcher in the RiSE group at Microsoft Research, Redmond. His current research interests are in the cross-disciplinary areas of end-user programming and intelligent tutoring systems. Sumit obtained his PhD in computer science from UC-Berkeley in 2005, and was awarded the C.V. Ramamoorthy Award and the ACM SIGPLAN Outstanding Doctoral Dissertation Award. He obtained his BTech in computer science and engineering from the Indian Institute of Technology (IIT) Kanpur in 2000 and was awarded the President’s Gold Medal.

People