中国科学院成都计算机应用研究所2011年博士研究生招生专业目录

专业	研究方向	导师	考试科目
计算机软件与理论12人	01计算机自动推理与符号计算 02人工智能与软件工程 03自多推理与语义网 04计算机自动推理及其应用	杨路张景中、冯勇符红光、刘忠、陆征一	①英语②计算机软件③自动推理与符号计算 ①英语②计算机软件③离散数学 ①英语②自动推理与符号计算③离散数学（报考01、02、03研究方向可任选本组任意一组考题）
	05编码与信息安全技术 06嵌入式软件的设计与分析	王晓京吴尽昭	①英语②计算机软件③离散数学
	07图象分析处理理论与软件设计 08图象分析与机器视觉	付忠良陈斌	①英语②计算机软件③数字图象处理
	09嵌入式系统	古乐野	仅招硕博连读生
	10软件过程技术与方法	李少波	①英语②计算机软件③软件工程与方法