||Sumit Gulwani |
Primary Affiliation: Senior Researcher @ Microsoft Research (Redmond Lab)
Other Affiliations: Adjunct Faculty @ IIT Kanpur
Affiliate Faculty @ Univ. of Washington
Address: Microsoft Corporation, One Microsoft Way, Redmond, WA, 98052
Email: sumitg at microsoft dot com
Phone: (425) 706-7709
Fax: (425) 936 7329 (attn: sumitg)
My current research interests are in the cross-disciplinary application areas of automating end-user programming (for a variety of systems such as spreadsheets, databases, smartphones, robots), and in building intelligent tutoring systems (for K-14 math/programming/science/language subjects). I have expertise in automated program synthesis techniques and logic based program analysis techniques. I am also interested in machine learning, natural language processing, and human-computer interaction techniques. I obtained my Phd in Computer Science from UC-Berkeley in 2005, and my undergraduate degree in Computer Science and Engineering from IIT Kanpur in 2000.
Professional Activities |
Invited Talks |
I mentor several undergraduate and graduate students. If you are looking for disruptive project ideas related to intelligent tutoring systems or automating end-user programming (and are excited about the potential to positively impacting lives of billions of people on the planet!), please send me email.
NEW: Our Programming by Example work (POPL 2011), also recognized as CACM Research Highlights (CACM 2012), ships as part of the Flash Fill feature in Excel 2013. Here's a small video illustrating this feature. Here's another small video illustrating potential extensions.
NEW: Here's a research summary article and a
video presentation on using formal methods and program synthesis technology for building Intelligent Tutoring Systems for various subject domains.
NEW: Our Programming by Natural Language work for synthesizing smartphone scripts got accepted to MobiSys 2013.
Distraction: Invited Talk on Biological Synthesis (ppt) given at RiSE research group meeting. A recommended read for PL researchers wanting to be first-time parents.