Sumit Gulwani is a researcher in the RAD group at Microsoft
Research. His research interests include static and dynamic program
analysis, and formal methods including theorem proving and model
checking. Sumit obtained his Phd in Computer Science from UC-Berkeley in 2005,
and was awarded the C.V. Ramamoorthy Award (given for "outstanding contributions to a new research
area in Computer Science") and the ACM SIGPLAN Outstanding Doctoral Dissertation Award. 
He obtained his BTech in Computer Science and Engineering from 
IIT Kanpur in 2000, and was awarded the President's Gold Medal.