中国科学院软件研究所陈海明研究员课题组招收2024级推免生

emily_13

一.小组介绍
DEPSO (DEPendable SOftware)课题组隶属于中国科学院软件研究所计算机科学国家重点实验室，组内的主要研究方向有：web数据和编程技术，计算与数据模型，形式语言与自动机理论，程序分析，编程语言等，并取得了丰富的研究成果。
详情可参见陈海明老师主页：http://lcs.ios.ac.cn/~chm
小组主页：http://depso.cn/

二.招生
招生方向：软件设计与分析方法，新型计算模型与应用
主要研究软件设计与分析的理论与方法，数据、计算模型与应用，面向网络及未来应用，以提高软件开发的生产率、可靠性、安全性为目标，研究软件的设计、分析中需要的理论、方法和技术，研究新型计算与数据模型，以及这些模型的应用。
欢迎对相关的理论、技术问题感兴趣的同学交流、报考。
招生要求：
1. 为人价值观端正，诚实守信，有钻研精神，主动性强，对科研有热情
2. 具有较强的编程能力及/或具有较强的数学分析能力的同学优先考虑
3. 博士研究生（直博）或硕士研究生

如果您对我们组的研究方向有兴趣，请尽快联系我，按照下面的邮件格式把简历发送到yanyx@ios.ac.cn。
邮件标题：2024保研-学校-姓名
邮件附件：包括但不限于成绩单、个人简历、其他能够证明个人能力的材料
如实验室对您提交的内容感兴趣，会在三个工作日内联系您。

注：名额紧张时间紧迫，有意者从速。