Slide 1 Program Synthesis for Automating Education Sumit Gulwani ([email protected]) Microsoft Research, Redmond Slide 2 Program Synthesis = Synthesis of executable code…