||Sumit Gulwani |
Primary Affiliation: Principal 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.
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.