CPP 2016
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Sumit Gulwani

Registered user since Wed 18 Jul 2018

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.

Country:India
Affiliation:Microsoft Research
Research interests:Synthesis, program analysis

Contributions

Show activities from other conferences

POPL 2016-profile
View general profile