陈海明小组研究简介 导师：陈海明研究员，博导 招生方向：软件设计与分析方法，新型计算模型与应用 （博，硕，工程硕士） 目前研究兴趣：Web数据和编程技术，计算模型，形式语言与自动机理论，编程语言，程序分析 主要研究软件设计分析与安全性中的理论、方法、技术及数据、计算模型与应用 面向网络及未来应用，以提高软件开发的生产率、可靠性、安全性为目标，研究软件的设计、分析与安全性中需要的理论、方法和技术，研究新型计算与数据模型，以及这些模型的应用 欢迎对Web、计算与数据模型、形式语言与自动机、XML、类型语言、函数式语言、软件设计分析、软件安全性等的理论、技术问题感兴趣的同学报考 研究生培养 培养了我所第一个（也是迄今唯一一个）中法联合培养博士生 有多人前往英国爱丁堡、法国巴黎7大、俄罗斯程序系统研究所、新加坡南洋理工等国外高校与研究所从事合作研究 近期毕业学生 陆平（北航），许智武（深圳大学），郑黎晓（华侨大学），张潇澜（浪潮研究院），陈雷（中科院合肥分院），李慧松（去法国巴黎高师读博，毕业后留法工作），彭飞飞（去德国读博，后去英国），崔蕃琳（百度），牟笑莹（vivo，深圳），董春梅（银行，深圳），褚新宇（美团），冯晓强（腾讯），倪晓勇（银行，北京）