研究高效、可靠、安全和可用的计算系统的原理，以及它们与运行的物理和社会环境的交互。

我们在计算机科学及其以外的相关领域进行基础研究，包括理论、实证分析和数据驱动的调查。我们通过出版物、人工制品和人员寻求影响力。