• 成都计算机应用研究所

中国科学院成都计算机应用研究所座落在美丽富饶的成都平原上,成立于1958年,是长期从事计算机信息化、应用集成化、智能化的技术开发型研究所,承担国家和地方的计算机软件及计算机应用研究项目,面向市场,提供高科技创新成果、计算机应用及软件的完整解决方案,开发相关产品,同时从事相关的应用基础研究工作。本所现有2个博士点,5个硕士点和1个博士后科研流动站,本所具有雄厚的学术与技术力量。近二十年来,已取得《几何定理机器证明理论与算法的新进展》、《新型计算机会议系统》等科技成果1000余项,获奖200余项,一批高科技产品列入国家级新产品和成果推广计划,为我国科技进步和经济发展做出了重大贡献。本所拥有包括中科院院士在内的信息技术领域一流人才队伍,师资力量强,科研条件好,研究课题丰富,学习、生活条件良好。欢迎到我所攻读博士学位。 单位网址:http://www.casit.ac.cn 注:本所博士招生全年仅秋季招生。

单位代码 80153 单位地址 成都市人民南路四段九号 邮政编码 610041
联系部门 研究生部 联系电话 028-85224290 联系人 汤琳
电子邮件 yzb@casit.ac.cn 目录类别 博士
网址 http://www.casit.ac.cn
学科、专业名称(代码)研究方向 指导教师 预计招生 考试科目 备注
081202 计算机软件与理论
12    
01 (全日制)计算机自动推理与符号计算
杨路
①英语一②计算机软件③自动推理与符号计算
02 (全日制)自动推理,程序验证
秦小林
同上
03 (全日制)自动推理与机器证明
刘忠
同上
04 (全日制)信息安全
王晓京
①英语一②计算机软件③离散数学
05 (全日制)信息安全、可信计算
崔喆
同上
06 (全日制)形式化方法
吴尽昭
同上
07 (全日制)机器学习,图像处理
付忠良
①英语一②计算机软件③数字图像处理
08 (全日制)机器视觉与模式识别
陈斌
同上
09 (全日制)模式识别,数据挖掘
姚宇
同上
10 (全日制)大数据及其智能处理技术
钟勇
①英语一②计算机软件③软件工程与方法
11 (全日制)制造系统自动化与制造物联
李少波
同上
12 (全日制)大数据、云计算
王鹏
①英语一②计算机软件③云计算与大数据技术