SLAM

成立时间:November 5, 2001

微软研究院博客

人员

Peli de Halleux的肖像

Peli de Halleux

Principal Research Software Engineer

Sriram Rajamani的肖像

Sriram Rajamani

Corporate Vice President, Microsoft Research

Thomas Ball的肖像

Thomas Ball

Partner Researcher

Tony Hoare的肖像

Tony Hoare

Emeritus Researcher