SLAM

Established: November 5, 2001

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