语言

首页

研究团队

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

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