中国科学院大学成都计算所研究生教育网

　　中国科学院大学成都计算所培养点座落在美丽富饶的成都平原上，成立于1958年，是我国西部地区最早建立计算机与信息技术类博士培养点的单位是长期从事计算机信息化、应用集成化、智能化的技术开发型研究所，承担国家和地方的计算机软件及计算机应用研究项目，面向市场，提供高科技创新成果、计算机应用及软件的完整解决方案，开发相关产品，同时从事相关的应用基础研究工作。

　　我们坚持“少而精”的高端人才培养方针。迄今为止，培养点在计算机软件与理论等学科领域已经取得了一批国际领先水平的科研成果。例如，在几何定理机器可读证明、不等式型定理机器证明领域取得了国际公认的突破性进展，国际同行评价为“近20年来的重大进展”、“领先国际10年的成果”，图灵奖的获得者Dijistra称之为“自动推理的里程碑式贡献”。培养点的相关科研工作先后得到国家863计划、国家973计划、国家自然科学基金、国家工信部电子发展基金、中央办公厅和国务院办公厅的重大科技专项、中国科学院知识创新工程专项、四川省科技支撑计划和重点发展计划、中国人民银行科技专项基金等一系列有力支持；相关科研成果先后获得了国家自然科学二等奖、国家发明二等奖、国家科技进步二等奖、以及四川省科技进步一等奖、以及省部级的其它科技进步奖、成都市国家发明专利特等奖等多项荣誉。

　　经国务院学位委员会批准，我培养点有计算机软件与理论专业博士学位授予权，计算机软件与理论、计算机应用技术、软件工程、计算机技术等硕士学位授予权及计算机科学与技术博士后科研流动站。

　　目前拥有院士1人，博士生导师16人，硕士生导师21人，主要特色研究方向有计算机自动推理与可信计算、符号与数值混合计算及误差可控计算、编码理论与信息安全、分布式存储与高可靠系统、大数据及其智能处理技术、形式化验证理论与软件过程技术、机器视觉与自动识别、工业自动检测与机器学习技术系统等。

　　我们的培养理念是技术方法与人文精神的统一，继承传统与引导创新的统一，前人理论与独立实践的统一，全球意识与团队特色的统一，学术研究与国家需求的统一，个人志向与社会责任的统一。