计算机科学与人工智能实验室（CSAIL）是麻省理工学院（MIT）的一个研究机构，由2003年计算机科学实验室（LCS）与人工智能实验室（AI Lab）合并而成。CSAIL位于雷和玛丽亚·斯塔塔中心内，按研究范围和成员数量衡量，是校内最大的实验室。它隶属于施瓦茨曼计算学院，但也受麻省理工学院研究副校长监督。
CSAIL的研究活动围绕多个半自治研究小组组织，每个小组由一位或多位教授或研究科学家领导。这些小组分为七个主要领域：人工智能、计算生物学、图形与视觉、语言与学习、计算理论、机器人学以及系统（包括计算机体系结构、数据库、分布式系统、网络、操作系统、编程方法论和软件工程）。
历史
麻省理工学院的计算研究始于20世纪30年代万尼瓦尔·布什的微分分析仪和克劳德·香农的电子布尔代数，随后是战时麻省理工学院辐射实验室、战后旋风项目、电子研究实验室（RLE），以及20世纪50年代初麻省理工学院林肯实验室的SAGE。人工智能研究始于20世纪50年代末。
MAC项目
1963年7月1日，MAC项目在国防高级研究计划局（DARPA）200万美元拨款下启动。名称MAC代表多个短语：“机器辅助认知”（广泛目标）、“多路访问计算机”（主要工具）以及“人与计算机”（基本伙伴）。项目首任主任是RLE的罗伯特·法诺，他出于麻省理工学院内部政治原因选择“项目”而非“实验室”一词。DARPA项目经理J. C. R. 利克利德此前曾在RLE工作，后来接替法诺担任主任。
MAC项目因在操作系统、人工智能和计算理论方面的开创性研究而闻名。其同期项目包括伯克利的Project Genie、斯坦福人工智能实验室和南加州大学信息科学研究所。
一个AI小组，包括马文·明斯基（主任）、约翰·麦卡锡（Lisp发明者）和一个程序员社区，被纳入MAC项目。他们专注于视觉、机械运动和操作以及语言。在20世纪60年代和70年代，AI小组开发了不兼容分时系统（ITS），该系统运行在PDP-6及后来的PDP-10计算机上。
早期MAC项目社区包括法诺、明斯基、利克利德、费尔南多·J·科尔巴托以及其他受麦卡锡启发的人。他们设想一种计算机公用事业，其计算能力像电力公用事业一样可靠。科尔巴托将兼容分时系统（CTSS）从麻省理工学院计算中心引入，利用DARPA资金购买了一台IBM 7094。CTSS支持约100个TTY终端，大约30个用户同时登录。
早期的一个重点是开发Multics，这是CTSS的继任者，成为第一个高可用性计算机系统，也是安全内核的测试场所。它最初与通用电气和贝尔实验室合作开发。在贝尔于1969年退出和通用电气于1970年退出计算机领域后，MAC项目在整个20世纪70年代继续与霍尼韦尔合作开发Multics。
AI实验室与计算机科学实验室
在20世纪60年代末，明斯基的AI小组寻求更多空间，但未能从利克利德处获得满意结果，于1970年分裂成立麻省理工学院AI实验室。理查德·斯托曼等程序员在此蓬勃发展，他使用TECO开发了EMACS。AI实验室发明了Lisp机器，在20世纪80年代由Symbolics和Lisp Machines Inc.商业化。
MAC项目于1976年正式更名为计算机科学实验室（LCS）。研究人员继续从事操作系统、编程语言、分布式系统、安全内核和计算理论方面的工作。两位教授哈尔·阿贝尔森和杰拉尔德·杰伊·萨斯曼成立了一个较小的小组，正式名称为麻省理工学院数学与计算项目（“Project MAC”的逆ronym），因其中立性而昵称为“瑞士”。
CSAIL
2003年7月1日，即MAC项目四十周年之际，LCS和AI实验室合并形成CSAIL，成为校园内最大的实验室（超过600名人员）。
2018年，CSAIL与科大讯飞启动了一项五年合作，该公司次年因涉嫌在新疆进行监视和侵犯人权而受到制裁。2019年10月，麻省理工学院宣布对与科大讯飞和商汤科技等受制裁公司的合作伙伴关系进行审查。与科大讯飞的协议于2020年4月终止。
到2020年2月，CSAIL从工程学院迁至新成立的施瓦茨曼计算学院。
显著研究与贡献
CSAIL及其前身对计算和人工智能做出了众多贡献。CTSS和Multics等分时系统的发展影响了现代操作系统。AI实验室在Lisp机器和早期AI研究方面的工作为后来的人工智能和机器学习进步奠定了基础。最近，CSAIL研究人员在深度学习、神经网络架构和大型语言模型研究方面做出了贡献，通常与行业合作伙伴协作。
设施与办公室
从1963年到2004年，MAC项目、LCS和AI实验室分布在麻省理工学院校园的多栋建筑中。2004年，CSAIL迁入由弗兰克·盖里设计的雷和玛丽亚·斯塔塔中心。该建筑为研究小组、实验室和协作区域提供了专门空间，支持CSAIL作为麻省理工学院计算研究核心枢纽的角色。