中国科学院成都计算机应用研究所座落在美丽富饶的成都平原上，成立于1958年，是长期从事计算机信息化、应用集成化、智能化的技术开发型研究所，承担国家和地方的计算机软件及计算机应用研究项目，面向市场，提供高科技创新成果、计算机应用及软件的完整解决方案，开发相关产品，同时从事相关的应用基础研究工作。 经国务院学位委员会批准，我所有计算机软件与理论博士学位授予权，计算机软件与理论、计算机应用技术、电子信息硕士学位授予权及计算机科学与技术博士后科研流动站。 近二十年来，已取得《几何定理机器证明理论与算法的新进展》、《新型计算机会议系统》等科技成果1000余项，获奖200余项，一批高科技产品列入国家级新产品和成果推广计划，为我国科技进步和经济发展做出了重大贡献。 Email:yzb@casit.ac.cn http://www.casit.ac.cn