Yuri Gurevich

Yuri Gurevich is a principal researcher at Microsoft Research, where he founded the Foundations of Software Engineering group.