微软亚洲研究院理论组的目标是推进计算机科学基础理论的研究，并与研究院其他研究组、微软其他部门，及学术界密切合作，解决科学研究与实际工作中遇到的具有挑战性的算法和理论问题。 理论组与国内外学术界建立了广泛的联系与合作，为解决理论计算机科学的基础问题而努力。

主要负责人: 陈卫

分布式计算理论：
分布式系统已成为支持大多数互联网服务和企业IT服务的基础设施。随着互联网和计算机系统的不断发展，分布式系统的设计和分析遇到新的机遇和挑战。理论组在研究这些分布式系统中提炼出的分布式计算理论问题，设计可靠和高效的分布式算法，以及分析这些复杂分布式系统中的行为特性。

形式方法：程序分析和验证
自从计算机的诞生，人们对可靠、安全和高性能程序的需求一直很强烈。无处不在的嵌入系统、实时系统、反应式系统和并发式系统已经强烈影响着人类的生活质量甚至人身安全。随着计算机复杂度的不断提高，严格的程序验证变得越来越无法替代。我们理论组致力于开发针对复杂系统的程序规范理论和程序构造与分析的技术。