中科院成都计算机应用研究所

指导教师

考试科目

01符号与数值计算

02形式刻画与验证

吴尽昭

拟

招

1、101政治理论

2、201英语

3、626数学分析

4、870线性代数与解析几何

01计算机自动推理及其应用

02编码与信息安全技术

03软件过程技术与方法

04网络化软件

06并行计算

符红光

王晓京

钟勇

吴尽昭

王鹏

22

1、101政治

2、201英语

3、301数学（一）

4、408计算机学科专业基础综合

01图像处理

02 三维仿真与GIS的应用

03图像分析与机器视觉

04软件工程与质量保证

05计算机测控与过程自动化

06图象处理与机器视觉

07嵌入式系统应用

08计算机网络与应用

古乐野

付忠良

陈斌

崔喆

李品

阮波

伍岳庆

人

1、101政治

2、201英语

3、301数学（一）

4、408计算机学科专业基础综合