语言

研究团队

目前在高可信软件及相关领域的研究人员如下:

  • 教授:邵中、陈意云、华蓓、董群峰
  • 副教授:张昱
  • 博士后:郭宇、李兆鹏
  • 博士:华保健、郭燕
  • 博士生和硕士生:20名左右