Program Synthesis

Established: January 1, 2010

Microsoft Research blog

People

Portrait of Sumit Gulwani

Sumit Gulwani

Distinguished Scientist and Vice President