ПроЦентрове

Центрове/групи по програмиране (теория и практика) по света

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

^