机构人员

研究小组及主要骨干人员

1. 可信软件理论研究组

学术带头人:陆汝钤(研究员/院士)、许进(教授)、王捍贫(教授);

学术骨干:屈婉玲(教授)、陈一峯(研究员)、刘田(副教授)、焦文品(教授)、曹永知(教授)、张大庆(教授)。

2. 可信软件工程研究组

学术带头人:杨芙清(教授/院士)、邵维忠(教授)、梅宏(教授/院士)、金芝(教授);

学术骨干:谢冰(教授)、谢涛(教授)麻志毅(副教授)、赵海燕(副教授)、孙艳春(副教授)、王亚沙(教授)、赵俊峰(副教授)、王乐业(助理研究员)。

3. 可信软件平台研究组

学术带头人:梅宏(教授/院士)、杨冬青(教授)、陈向群(教授);

学术骨干:张路(教授)、黄罡(教授)、王腾蛟(教授)、崔斌(研究员)、曹东刚(研究员)、高军(教授)、郝丹(副教授)、刘譞哲(副教授)。

4. 信息安全研究组

学术带头人:陈钟(教授)、王平(教授);

学术骨干:孙家骕(教授)、郭耀(教授)、关志(副研究员)。

5. 可信软件应用研究组:

学术带头人:张世琨(研究员);

学术骨干:赵文(研究员)、黄雨(副研究员)、胡文蕙(副研究员)、孙基男(助理研究员)。

研究人员列表

姓名 性别 研究领域 学历 职称

杨芙清

软件工程、系统软件

研究生

教授、院士

陆汝钤

知识工程、人工智能

大学

研究员、院士

梅宏

软件工程、系统软件

博士

教授、院士

张大庆

大数据

博士

教授

杨冬青

数据库与信息系统

大学

教授

王捍贫

形式化方法与程序验证

博士

教授

邵维忠

软件工程

硕士

教授

孙家骕

软件工程

硕士

教授

陈向群

软件工程、操作系统

硕士

教授

屈婉玲

算法设计与分析

大学

教授

许进

生物计算

博士

教授

陈钟

软件工程、信息安全

博士

教授

金芝

软件需求工程、知识工程

博士

教授

谢冰

软件工程

博士

教授

胡振江

软件工程,并行程序设计

博士

教授

谢涛

软件工程、系统软件、软件安全

博士

教授

张世琨

软件体系结构、应用集成

博士

研究员

崔斌

数据库与信息系统

博士

研究员

陈一峯

程序语言和形式化方法

博士

研究员

麻志毅

软件工程

博士

副教授

孙艳春

软件工程

博士

副教授

刘田

算法分析、计算复杂性

博士

副教授

熊英飞

系统软件

博士

副教授

赵海燕

软件工程

博士

副教授

刘譞哲

软件工程

博士

副教授

焦文品

软件工程

博士

教授

张路

软件工程

博士

教授

黄罡

软件工程、中间件

博士

教授

王平

软件工程、物联网、信息安全

博士

教授

赵俊峰

软件工程、软件复用

博士

副教授

陈泓婕

软件工程

博士

副教授

曹永知

形式化方法

博士

教授

周明辉

软件工程、中间件

博士

教授

王亚沙

软件工程、软件复用

博士

教授

王腾蛟

数据库与信息系统

博士

教授

陈立军

数据库与信息系统

博士

副教授

高军

数据库与信息系统

博士

教授

吴中海

软件服务,系统安全

博士

教授

赵文

工作流建模、RFID

博士

研究员

曹东刚

软件工程、中间件

博士

研究员

王昭

软件工程、信息安全

博士

讲师

邹艳珍

软件工程、软件复用

博士

副教授

刘学洋

软件工程、信息安全

博士

副教授

张伟

软件工程、软件复用

博士

副教授

李戈

软件工程、软件复用

博士

副教授

郭耀

软件工程、操作系统

博士

教授

胡文蕙

软件体系结构、应用集成

博士

副研究员

黄雨

Petri网、软件工程

博士

副研究员

郝丹

软件工程

博士

副教授

关志

信息安全

博士

副研究员

孙基男

软件工程

博士

助理研究员

王乐业

群智感知,普适计算

博士

助理研究员

陈薇

数据库与信息系统

博士

副研究员

张成

生物计算

博士

副研究员

张颖

软件工程

博士

副研究员