logo

陈海明小组研究简介

  • 导师:陈海明研究员,博导

  • 招生方向:软件设计与分析方法,新型计算模型与应用 (博,硕,工程硕士)

  • 目前研究兴趣:Web数据和编程技术,计算模型,形式语言与自动机理论,编程语言,程序分析
      主要研究软件设计分析与安全性中的理论、方法、技术及数据、计算模型与应用
      面向网络及未来应用,以提高软件开发的生产率、可靠性、安全性为目标,研究软件的设计、分析与安全性中需要的理论、方法和技术,研究新型计算与数据模型,以及这些模型的应用
      欢迎对Web、计算与数据模型、形式语言与自动机、XML、类型语言、函数式语言、软件设计分析、软件安全性等的理论、技术问题感兴趣的同学报考


  • 研究生培养

  • 培养了我所第一个(也是迄今唯一一个)中法联合培养博士生

  • 有多人前往英国爱丁堡、法国巴黎7大、俄罗斯程序系统研究所、新加坡南洋理工等国外高校与研究所从事合作研究


  • 近期毕业学生

  • 陆平(北航),许智武(深圳大学),郑黎晓(华侨大学),张潇澜(浪潮研究院),陈雷(中科院合肥分院),李慧松(去法国巴黎高师读博,毕业后留法工作),彭飞飞(去德国读博,后去英国),崔蕃琳(百度),牟笑莹(vivo,深圳),董春梅(银行,深圳),褚新宇(美团),冯晓强(腾讯),倪晓勇(银行,北京)


  • Last updated: 2021-09-24丨Copyright © DEPSO丨京ICP备 2021018805号-1