欢迎本科生、研究生同学加入我们！

欢迎对程序设计语言、软件分析测试、智能软件工程等课题感兴趣的同学联系我们！

联系人：

  • 周毓明，教授、博导，CCF青年科学家奖，江苏省杰出青年基金，教育部“新世纪优秀人才”
  • 陈林，副教授，博导
  • 李言辉，助理教授（准长聘系列），博导，2019和2020连续两年bw必威西汉姆联官网“我最喜爱的老师”

软件分析、测试与度量

  • 软件技术债与重构
  • 高效能软件度量方法
  • 缺陷检测、定位与修复
  • 可解释的缺陷预测与漏洞挖掘

面向人工智能的软件工程学

  • 程序表示与理解
  • 智能软件系统测试与调试
  • 面向大模型的软件工程方法

编程语言与代码语义

  • 多语言互操作语义
  • 数据驱动的智能化程序分析
  • 渐定类型语言
  • 领域特定语言的理论、设计与实现

注：对本科专业方向无要求。

Awards

  • 2016, FSE 2016 Distinguished Artifact Award
  • 2015, First Prize of Hubei Science and Technology Award
  • 2012, First Prize of Jiangsu Science and Technology Award
  • 2007, First Prize of Jiangsu Science and Technology Award

Alumni members

  • Hao Ren (PhD)
  • Fan Yang, Haolin Yang, Xiang Huang (MSc)
  • Li Yu, Xinglong Guo, Fanwei Liu (MSc)
  • Yuanlei Han, Henghui Zhao, Zhi Wang (MSc)
  • Yang Luo (MSc)
  • Hongyue Ma, Hao Ren (MSc)
  • Wanwangying Ma. (PhD)
  • Zhifen Chen (PhD, Nanjing University of Science and Technology)