Programming Principles and Tools
Established: March 27, 2000
The Programming Principles and Tools group devises formal techniques and models for understanding programs, programming abstractions and languages, and develops related implementation technology. Programming Principles and Tools is part of Microsoft Research Cambridge.
Research @ CS
Stanford University