Seminar by Sumit Gulwani
Computer-aided Education
Sumit Gulwani
Microsoft Research, Redmond
Date: Wednesday, February 12th, 2014
Time: 5:00 PM
Venue: CS102.Abstract:
Recent advances in computing technology can be used to automate various repetitive tasks in Education including problem generation, solution generation, and feedback generation. In this talk, I will illustrate this using recent research results that have been applied to a variety of subject domains including logic, automata theory, programming, arithmetic, algebra, geometry, and even language learning. These results advance the state-of-the-art in intelligent tutoring, and can play a significant role in enabling personalized and interactive education in both standard classrooms and MOOCs.
About the speaker:
Sumit Gulwani is a senior researcher at Microsoft Research, and an adjunct faculty in the Computer Science Department at IIT Kanpur. He has expertise in formal methods and automated program analysis and synthesis techniques. As part of his vision to empower masses, he has recently focused on cross-disciplinary areas of automating end-user programming (for various systems like spreadsheets, smartphones, and robots), and building intelligent tutoring systems (for various subject domains including programming, logic, and math). Sumit's programming-by-example work led to the famous Flash Fill feature of Microsoft Excel 2013 that is used by hundreds of millions of people. Sumit obtained his PhD in Computer Science from UC-Berkeley in 2005, and was awarded the ACM SIGPLAN Outstanding Doctoral Dissertation Award. He obtained his BTech in Computer Science and Engineering from IIT Kanpur in 2000, and was awarded the President's Gold Medal.