研究小组及主要骨干人员
1. 可信软件理论研究组
学术带头人：陆汝钤研究员/院士、胡振江教授
学术骨干：许进、王捍贫、焦文品、曹永知教授，陈一峯研究员，刘田副教授，张昕助理教授。
2. 可信软件工程研究组
学术带头人：杨芙清教授/院士，金芝、谢冰、谢涛教授
学术骨干：张路、周明辉、李戈教授，赵俊峰研究员，熊英飞、麻志毅、赵海燕、孙艳春、张伟、邹艳珍副教授。
3. 可信软件平台研究组
学术带头人：梅宏教授/院士，黄罡教授
学术骨干：陈向群、王腾蛟、高军教授，崔斌、曹东刚、刘譞哲研究员，郝丹、金鑫副教授，张颖、陈薇副研究员。
4. 信息安全研究组
学术带头人：陈钟、王平教授
学术骨干：郭耀教授，关志副研究员，李锭助理教授，王昭讲师。
5. 可信软件应用研究组：
学术带头人：张世琨研究员、张大庆教授
学术骨干：吴中海、王亚沙教授，刘云淮、赵文、黄雨研究员，刘学洋副教授，胡文蕙、孙基男副研究员，王乐业助理教授，高庆助理研究员。
研究人员列表
姓名 |
性 别 |
研 究 领 域 | 学历 | 职 称 | 备注 |
杨芙清 |
女 |
软件工程、系统软件 |
研究生 |
教授、院士 |
|
陆汝钤 |
男 |
知识工程、人工智能 |
大学 |
研究员、院士 |
|
梅宏 |
男 |
软件工程、系统软件 |
博士 |
教授、院士 |
|
樊文飞 |
男 |
数据库、大数据计算、数据质量和半结构化数据约束理论 |
博士 |
教授、院士 |
|
张大庆 |
男 |
大数据 |
博士 |
教授 |
|
王捍贫 |
男 |
形式化方法与程序验证 |
博士 |
教授 |
|
陈向群 |
女 |
软件工程、操作系统 |
硕士 |
教授 |
|
许进 |
男 |
生物计算 |
博士 |
教授 |
|
陈钟 |
男 |
软件工程、信息安全 |
博士 |
教授 |
|
金芝 |
女 |
软件需求工程、知识工程 |
博士 |
教授 |
|
谢冰 |
男 |
软件工程 |
博士 |
教授 |
|
胡振江 |
男 |
软件工程，并行程序设计 |
博士 |
教授 |
|
谢涛 |
男 |
软件工程、系统软件、软件安全 |
博士 |
教授 |
|
张世琨 |
男 |
软件体系结构、应用集成 |
博士 |
研究员 |
|
崔斌 |
男 |
数据库与信息系统 |
博士 |
研究员 |
|
麻志毅 |
男 |
软件工程 |
博士 |
副教授 |
|
孙艳春 |
女 |
软件工程 |
博士 |
副教授 |
|
刘田 |
男 |
算法分析、计算复杂性 |
博士 |
副教授 |
|
熊英飞 |
男 |
系统软件 |
博士 |
副教授 |
|
赵海燕 |
女 |
软件工程 |
博士 |
副教授 |
|
刘譞哲 |
男 |
软件工程 |
博士 |
研究员 |
|
焦文品 |
男 |
软件工程 |
博士 |
教授 |
|
张路 |
男 |
软件工程 |
博士 |
教授 |
|
黄罡 |
男 |
软件工程、中间件 |
博士 |
教授 |
|
王平 |
男 |
软件工程、物联网、信息安全 |
博士 |
教授 |
|
赵俊峰 |
男 |
软件工程、软件复用 |
博士 |
研究员 |
|
陈泓婕 |
女 |
软件工程 |
博士 |
副教授 |
|
曹永知 |
男 |
形式化方法 |
博士 |
教授 |
|
周明辉 |
女 |
软件工程、中间件 |
博士 |
教授 |
|
王亚沙 |
男 |
软件工程、软件复用 |
博士 |
教授 |
|
王腾蛟 |
男 |
数据库与信息系统 |
博士 |
教授 |
|
陈立军 |
男 |
数据库与信息系统 |
博士 |
副教授 |
|
高军 |
男 |
数据库与信息系统 |
博士 |
教授 |
|
吴中海 |
男 |
软件服务，系统安全 |
博士 |
教授 |
|
赵文 |
男 |
工作流建模、RFID |
博士 |
研究员 |
|
曹东刚 |
男 |
软件工程、中间件 |
博士 |
研究员 |
|
陈一峯 |
男 |
程序语言和形式化方法 |
博士 |
研究员 |
|
邹艳珍 |
女 |
软件工程、软件复用 |
博士 |
副教授 |
|
刘学洋 |
男 |
软件工程、信息安全 |
博士 |
副教授 |
|
张伟 |
男 |
软件工程、软件复用 |
博士 |
副教授 |
|
李戈 |
男 |
软件工程、软件复用 |
博士 |
教授 |
|
郭耀 |
男 |
软件工程、操作系统 |
博士 |
教授 |
|
胡文蕙 |
女 |
软件体系结构、应用集成 |
博士 |
副研究员 |
|
黄雨 |
男 |
多模态数据管理、软件工程 |
博士 |
研究员 |
|
郝丹 |
女 |
软件工程 |
博士 |
副教授 |
|
关志 |
男 |
信息安全 |
博士 |
副研究员 |
|
陈薇 |
女 |
数据库与信息系统 |
博士 |
副研究员 |
|
张成 |
男 |
生物计算 |
博士 |
副研究员 |
|
张颖 |
男 |
软件工程 |
博士 |
研究员 |
|
王乐业 |
男 |
群智感知，普适计算 |
博士 |
助理教授 |
|
孙基男 |
男 |
软件工程 |
博士 |
副研究员 |
|
刘云淮 |
男 |
移动计算、物联网 |
博士 |
研究员 |
|
高庆 |
男 |
软件工程 |
博士 |
助理研究员 |
|
张昕 |
男 |
程序设计语言，高可靠人工智能 |
博士 |
助理教授 |
|
李锭 |
男 |
系统安全和软件工程 |
博士 |
助理教授 |
|
金鑫 |
男 |
软件工程 |
博士 |
副教授 |
|
|
马郓 |
男 |
智能化系统软件 |
博士 |
助理教授 |
|
许辰人 |
男 |
智能物联网、移动互联网、边缘云计算 |
博士 |
副教授 |
|
王迪 |
男 |
程序设计语言，概率编程 |
博士 |
助理教授 |
|
马萌 |
男 |
软件工程、信息安全 |
博士 |
副研 |
|
程海波 |
男 |
信息安全 |
博士 |
助研 |
|
马连涛 |
男 |
博士 |
助研 |
||
张文涛 |
男 |
机器学习和系统 |
博士 |
研究员 |
|
詹乃军 |
男 |
计算机理论 |
博士 |
教授 |
|
初旭 |
男 |
机器学习、数据挖掘 |
博士 |
助理研究员 |
|
王昭 |
女 |
软件工程、信息安全 |
博士 |
副教授 |
|
Sergey |
男 | 软件工程 | 博士 | 助理教授 |
|
徐松青 |
女 |
秘书 |
|||
李连芳 |
女 |
秘书 |