博士生招生专业目录

博士生招生专业目录

ID:11783592

大小:92.50 KB

页数:4页

时间:2018-07-14

博士生招生专业目录_第1页
博士生招生专业目录_第2页
博士生招生专业目录_第3页
博士生招生专业目录_第4页
资源描述:

《博士生招生专业目录》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库

1、中国科学院软件研究所2012年博士生招生专业目录单位地址:北京市海淀区中关村南四街4号邮编:100190联系部门:研究生部联系电话:010-62661030联系人:韩老师,李老师E-mail地址:zhifang@iscas.ac.cn学科专业部门研究方向指导教师预计招生人数考试科目代码、名称计算机软件与理论(081202)计算机科学国家重点实验室01.并发理论,模型检测,形式化方法林惠民 院 士6101.英语202.算法设计与分析205.数理逻辑(202、205任选一门)302.程序语言理论02.网络与并发实时系统理论和方法张文辉 研究员101.英语202.算法设计与分析302.程序语言理论0

2、3.数据挖掘及语义web,形式化方法沈一栋 研究员(只招硕博连读生)04.程序理论与方法蒋 颖 研究员(只招硕博连读生)05.新型计算模型与应用陈海明 研究员101.英语202.算法设计与分析302程序语言理论06.形式化方法,Petri网理论与应用焦 莉 研究员101.英语202.算法设计与分析205.数理逻辑(202、205任选一门)302.程序语言理论303.计算理论基础(302、303任选一门)07程序理论与验证技术詹乃军研究员101.英语201.软件工程基础205.数理逻辑(201、205任选一门)302.程序语言理论303.计算理论基础309.实时系统(302、303、309任选一

3、门)08.面向网络的计算理论李昂生 研究员101.英语202.算法设计与分析303.计算理论基础09.自动推理与约束求解张健研究员101.英语202.算法设计与分析205.数理逻辑(202、205任选一门)302.程序语言理论303.计算理论基础(302、303任选一门)并行软件与计算科学实验室10.并行算法与并行软件张云泉 研究员2(101.英语201.软件工程基础202.算法设计与分析(201、202任选一门)306.操作系统与数据库311.分布式系统设计312.高级计算机网络(306、311、312任选一门)20211.数值并行计算曹建文 研究员李会元研究员101.英语202.算法设计与

4、分析204.计算机数学基础(202、204任选一门)306.操作系统与数据库311.分布式系统设计312高级计算机网络(306、311、312任选一门)基础软件研究中心12.可信软件过程技术李明树 研究员6-5=1101.英语202算法设计与分析205.数理逻辑(202、205任选一门)310.高级软件工程13.程序语言设计与编译技术;可信计算与基础软件赵 琛 研究员101.英语202算法设计与分析205.数理逻辑(202、205任选一门)302.程序语言理论306操作系统与数据库(302、306任选一门)14.可信计算与系统安全贺也平 研究员101.英语202.算法设计与分析306.操作系统

5、与数据库307.系统与网络安全(306、307任选一门)15.数据库与知识库系统丁治明 研究员101.英语201.软件工程基础202.算法设计与分析(201、202任选一门)306.操作系统与数据库16.操作系统,隐蔽信道王永吉 研究员101.英语202.算法设计与分析203.密码学204.计算机数学基础(202、203、204任选一门)306.操作系统与数据库313.数字通信(306、313任选一门)互联网软件技术实验室17.软件过程方法与技术王永吉 研究员4101.英语202.算法设计与分析205.数理逻辑(202、205任选一门)310..高级软件工程18.经验软件工程,软件知识工程李明

6、树 研究员王 青 研究员101.英语202.算法设计与分析205.数理逻辑(202、205任选一门)310..高级软件工程计算机软件与理论(081202)软件工程技术研究中心19.网络分布计算与软件工程黄 涛 研究员魏 峻 研究员钟 华 研究员金蓓弘 研究员6101.英语201.软件工程基础202.算法设计与分析(201、202任选一门)311.分布式系统设计计算机应用技术(081203)计算机科学国家重点实验室01.计算机图形学王文成 研究员陈彦云研究员陈彦云*(徐迎庆)3101.英语202.算法设计与分析301.计算机图形学人机交互技术和智能信息处理实验室02.人机交互技术王宏安 研究员2

7、101.英语202.算法设计与分析204.计算机数学基础(202、204任选一门)308.人机交互309.实时系统314.人工智能原理(309.309或314任选一门)田丰研究员101.英语202.算法设计与分析308.人机交互综合信息系统技术国家级重点实验室03.信息处理与集成胡晓惠 研究员李 磊 研究员郑昌文研究员8-6=2101.英语202.算法设计与分析204.计算机数学基础(202、20

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。