摘要：
中科院主要共有8个相关的所从事计算机科学的研究，包括京区计算所，软件所，网络中心全部的研究方向都隶属计算机科学，自动化所有部分涉及AI和计算机应用的研究方向，数学所有AI和数据库的研究方向，成都计算所号称是唯一以计算机应用为主的研究所，但有一个赫赫有名的研究AI中最晦涩的定理机器证明的研究组，沈阳自动化所有部分涉及AI（主要是机器人）的研究方向，相对而言沈阳计算所是名气最小也是实力最弱的一个。其他如京区的电子所，声学所，高能所，空间中心，研究生院本部均有研究组从事计算机科学方面的研究。国内严格意义上的研究型大学和研究机构，具体到CS方面，约有30所左右，它们均长年开展相关的研究工作，能够依靠各 阅读全文