SLAM

成立时间：November 5, 2001

人员

Peli de Halleux的肖像

Peli de Halleux

Principal Research Software Engineer

Sriram Rajamani的肖像

Sriram Rajamani

Corporate Vice President, Microsoft Research

Tony Hoare的肖像

Tony Hoare

Emeritus Researcher