UW CSE affiliate professor (and Microsoft Research staff member) Sumit Gulwani has received the 2014 ACM SIGPLAN Robin Milner Young Researcher Award, which recognizes outstanding contributions by young investigators in the area of programming languages.
Sumit has made pioneering contributions to the field of programming languages, especially in the areas of program analysis and program synthesis. Building on his foundational work in program analysis including using randomized algorithms, improving abstract interpretation, and reasoning about programs as continuous functions, Sumit recognized the important connection between program verification and program synthesis
Congratulations Sumit! Read more here.