Not registered as user yet
Name: Sumit Gulwani
Bio: Sumit Gulwani is a principal researcher at Microsoft Research with expertise in formal methods and automated program analysis and synthesis techniques. His aims to empower masses by automating end-user programming for systems like spreadsheets, smartphones, and robots, and building intelligent tutoring systems for various subject domains including programming, math, logic, and automata. Sumit’s programming-by-example work led to the famous Flash Fill feature of Microsoft Excel. He is a recipient of the SIGPLAN Robin Milner Young Researcher Award and the SIGPLAN Outstanding Doctoral Dissertation Award.
Affiliation: Microsoft Research
Personal website: http://research.microsoft.com/en-us/um/people/sumitg/
Research interests: Synthesis, program analysis
POPL 2016 Activities
View general profile