SLAM

Established: November 5, 2001

Publications

Publications by Year

Publications by Research Area

Publications by Type

People

Portrait of Peli de Halleux

Peli de Halleux

Principal Research Software Engineer

Portrait of Sriram Rajamani

Sriram Rajamani

Corporate Vice President, Microsoft Research

Portrait of Thomas Ball

Thomas Ball

Partner Researcher

Portrait of Tony Hoare

Tony Hoare

Emeritus Researcher