序号

合作导师

 研究方向及主要研究内容

招收人数

联系人及其邮件地址

 一、软件工程博士后流动站

1

丁治明

时空数据处理，群体智能，自主协同

3

丁治明

zhiming@iscas.ac.cn

2

王宏安

人机交互、实时智能

1

王宏安

hongan@iscas.ac.cn

3

王青

软件工程数据挖掘和软件质量提升方向：进行数据驱动的软件开发赋能技术的研究，包括测试智能化服务技术、软件制品数据挖掘和理解技术、软件质量提升技术等，完成高水平科研成果输出，并推广相关产业化工作。

1

郭丽丽

lili@iscas.ac.cn

4

王青

领域知识图谱构建应用：课题组在领域知识图谱构建方面有较多的研究积累，当前正在围绕领域知识图谱构建过程中的知识表示、知识抽取、事件表示、知识推理和应用等方面的前沿问题展开研究工作。同时结合近年来，领域数据的积累，以及大数据、自然语言处理技术的不断突破，如何将知识图谱技术应用在相关领域，辅助领域工作者提升工作效率和开展智能辅助决策，逐渐成为知识图谱应用研究的热点。

1

郭丽丽

lili@iscas.ac.cn 

5

王青

在智能软件工程、需求工程、自然语言理解应用等相关领域具有较丰富的研究经验积累，具有独立开展国际学术交流的能力；计算机科学与技术相关专业博士；具有独立组织科研项目研究开发工作的能力。已在以上领域有优秀成果，如在国际顶级学术期刊/会议录用或发表高水平学术论文优先考虑。

1

郭丽丽

lili@iscas.ac.cn 

6

左春

智能化软件系统工程，面向复杂软件的互操作技术

2

左春zuochun@sinosoft.com.cn

7

田丰

笔式交互技术与草图理解方向：从事新型笔式交互技术研发，包括笔迹渲染、基于笔的状态感知、笔式创新输入等，从事草图理解算法研发，包括草图图文分类，CAD草图、手绘表格、数学公式识别等，与头部企业密切合作，将笔式交互技术落地在工业、办公、医疗等领域，开展科研成果转化工作。

1

田丰

tianfeng@iscas.ac.cn

8

田丰

复杂环境触控效能增强方向：研究用户在环境运动、用户运动、下雨、视线遮挡、非正常部位触控状态下的触控精度增强技术，例如使用建模预测用户意图或利用软硬件技术屏蔽或补偿干扰因素，完成高水平科研成果产出，扩大相关领域研究在学术界和产业界影响力，并开展相关产业化工作。

1

田丰

tianfeng@iscas.ac.cn

9

严俊

软件的智能化测试技术研究方向：从事软件测试的前沿技术研究。针对软件具有的复杂结构、多种开发方法以及持续集成的开发部署环境等挑战，研究具有高度自动化和适应性的测试生成方法，开发高质量的软件测试工具或者发表高质量论文，不断扩大相关领域研究在学术界和产业界影响力，并推广相关产业化工作。

1

叶丹

yedan@otcaix.iscas.ac.cn

10

苏璞睿

软件漏洞挖掘与分析方向：主要针对二进制软件的漏洞挖掘、漏洞分析、漏洞利用等方面的前沿方法和技术展开研究，参与团队项目申请、研发等工作，完成高水平科研成果输出。

1

彭双美

shuangmei@iscas.ac.cn

11

苏璞睿

恶意软件检测与分析方向：主要针对APT攻击场景下的恶意软件分析、恶意软件检测等问题展开研究，参与团队项目申请、研发等工作，完成高水平科研成果输出。

1

彭双美

shuangmei@iscas.ac.cn 

12

李玲

智能计算系统、智能处理器编程模型、RISC-V基础软件

1

李玲

liling@iscas.ac.cn

13

吴敬征

开源软件供应链安全：从事开源软件供应链安全研究工作，代码表示及缺陷挖掘，利用漏洞图谱对开源软件供应链的安全风险、维护性风险及知识产权风险进行分析研究。

1

吴敬征

jingzheng08@iscas.ac.cn

14

张凤军

区块链技术研究方向：高性能区块链技术以及去中心化金融安全检测与分析。

1

张凤军

fengjun@iscas.ac.cn

15

张凤军

图数据库与智能可视分析方向：涉及传染病、金融数据的可视分析技术研究。

1

张凤军

fengjun@iscas.ac.cn

16

张常有

并行与分布式技术方向：从事异构体系架构下的并行算法研发，包括片内异构、节点异构如GPU等，具备有限元等数值方法的并行优化经验者优先；从事分布式环境下的软件开发及集成技术研究，具备SOA/微服务系统开发经验者优先。

1

张常有

changyou@iscas.ac.cn

17

张常有

数据智能技术方向：从事大数据与人工智能技术融合方法研究，能够基于大数据引擎，通过机器学习等技术，对海量数据处理、分析、挖掘，有时序数据处理、基于具体系统大数据分析经验者优先。

1

张常有

changyou@iscas.ac.cn

18

武延军

智能基础软件：面向RISC-V芯片和AI芯片的操作系统内核、编译工具链、运行时环境、编程框架等。

2

武延军

yanjun@iscas.ac.cn

19

赵琛

智能基础理论：研究智能计算的可解释、可计算、可进化和人机深度融合问题。

2

张立波

libo@iscas.ac.cn

20

蔡彦

RISC-V、X86等软件分析与测试：研究以动态分析为主的大规模软件动态测试方法，针对并发缺陷、软件安全漏洞等，并适配RISC-V平台。

1

蔡彦

yancai@ios.ac.cn

21

蔡彦

自动驾驶系统算法与测试研究：从事自动驾驶软件中相关算法研究、自动化测试等，例如关键场景建模与测试。

1

蔡彦

yancai@ios.ac.cn 

22

蔡彦

安卓平台融合测试：研究针对安卓平台的系统性测试方法，包括针对APP、framework、驱动等。

1

蔡彦

yancai@ios.ac.cn

23

魏峻

程序理解与生成方向：从事基于深度学习等AI方法的软件生成技术研究，完成高水平科研成果输出，扩大相关领域研究在学术界和产业界影响力，并开展产业化工作。

1

叶丹

yedan@otcaix.iscas.ac.cn

24

魏峻

异构智能计算框架方向：从事智能计算算法建模方法，异构计算资源调度管理和优化加速技术的研究，完成高水平科研成果输出，推动国产智能计算系统软件基础设施的发展。

1

叶丹

yedan@otcaix.iscas.ac.cn

2

王宏安

人机交互、实时智能

1

王宏安

hongan@iscas.ac.cn

3

田丰

触觉交互研究方向：研究包含对触觉感知和反馈机理的深度理解；对现有触觉交互设备和触觉界面，产生触觉变化机构的全面、系统的收集和分析；结合自然人机交互技术对触觉交互工具的设计、开发；针对多种交互环境下，不同触觉交互模式的用户测试评估和可用性的研究。

1

田丰

tianfeng@iscas.ac.cn 

4

田丰

智能感知研究方向：从事智能感知技术，包括柔性电子、信号处理、机器学习算法等技术研发；面向自然交互场景，搭建系列智能交互装置，进行用户研究，分析可行性与实用性；输出高水平科研成果，扩大交互领域研究在学术界和产业界影响力，并开展相关产业化工作。

1

田丰

tianfeng@iscas.ac.cn

5

冯登国

数据安全

1

冯登国

fengdg@263.net

7

孙乐

自然语言处理

1

孙乐

lesunle@163.com

8

李会元

数值并行计算：开展以下前沿基础研究，流体力学与电磁场计算高精度方法与软件；第一性原理计算;大型非线性偏微分方程谱元方法；完成高水平论文等成果输出。

1

李会元

huiyuan@iscas.ac.cn

9

李会元

E级高性能计算软件与算法：与高性能计算机研制单位密切合作，开展E机超级计算机上的应用的移植与优化、融合了人工智能的混合精度算法研究，完成高水平科研成果输出。

1

李会元

huiyuan@iscas.ac.cn

10

李明树

贺也平

杨秋松

软硬件深度融合与协同设计方向：研究 “CPU-OS”协同设计机制和cpu漏洞检测、防御、验证反复，显著提升全系统的运行效能和安全性。

1

李文波

wenbo@iscas.ac.cn

11

李明树

贺也平

杨秋松

OS深度设计技术方向：针对“云-边-端”的一体化新型计算环境的革新趋势，研究OS在系统架构、关键机制、软件形态、可检查证明等核心要素方面的变革性技术。

1

李文波

wenbo@iscas.ac.cn

12

吴文玲

对称密码的设计与分析：分组密码、认证加密算法和消息鉴别码算法的设计理论、分析方法、优化实现和测试评估，对称密码的量子安全性。

1

吴文玲

wenling@iscas.ac.cn

13

吴玉泉

大数据与智能信息处理

2

吴玉泉

yuquan@iscas.ac.cn

14

吴志林

使用定理证明辅助工具Coq对FIRRTL的关键编译步骤的语义保持性进行形式验证：Chisel是加州伯克利分校提出的一种针对RISC-V处理器设计的硬件构造语言，而FIRRTL是Chisel的中间表示。Chisel的很多编译优化都在FIRRTL上进行，保证FIRRTL编译步骤的正确性对于确保RISC-V Chisel处理器设计的功能正确性至关重要。本课题将探讨如何使用定理证明辅助工具Coq对FIRRTL的关键编译步骤的语义保持性进行形式验证；

基于分离逻辑进一步发展C/C++/Rust程序的自动形式分析与验证技术：内存安全对于保证系统软件的安全性至关重要。已有的系统软件一般使用C/C++语言来编写，而Rust是最近日益流行的一种系统软件编程语言。本课题计划基于分离逻辑进一步发展C/C++/Rust程序的自动形式分析与验证技术，包括符号执行、抽象解释、软件模型检测等，并开发验证工具和进行实例研究。

1

吴志林

wuzl@ios.ac.cn

15

张立军

人工智能系统验证与测试技术方向：近年来，深度学习技术越来越多的应用在无人驾驶、芯片等安全攸关领域。对于这类系统，传统测试方法无法满足系统可靠性的更高要求。人工智能和形式化方法交叉结合已经成为研究热点之一，相关问题得到越来越多学者关注。本课题将研究人工智能系统验证与测试技术，主要探讨如何用形式化方法来刻画及分析人工智能系统的安全性、可靠性、公平性等性质。

1

张立军

zhanglj@ios.ac.cn

16

张振峰

后量子密码，区块链密码，零信任与网络安全

3

张振峰

zhenfeng@iscas.ac.cn

17

陈华

随机数发生器的检测分析：对随机数发生器的熵评估方法、基于深度学习的随机性检测方法、轻量级的后处理算法等方面展开研究，完成高水平科研成果输出。

1

陈华

chenhua@iscas.ac.cn

18

陈华

可证明安全的密码算法实现防护方法：对基于门限技术的抗侧信道攻击防护方法、低代价优化实现等方面展开研究，完成高水平科研成果输出，并推广相关成果在产业界的应用。

1

陈华

chenhua@iscas.ac.cn

19

夏盟佶

计数复杂性：对#CSP、Holant等计数问题集合，以多项式时间可解与#P困难性的标准计算复杂性二分类界限，进行复杂性刻画与二分；此类问题的参数、平面图等版本，以及参数复杂性、指数复杂性、图结构等其他新兴的复杂性二分界限研究。

1

夏盟佶

mingji@ios.ac.cn

20

郑昌文

大数据与智能信息处理

2

郑昌文

changwen@iscas.ac.cn

21

徐帆江

智能信息处理

2

徐帆江

fanjiang@iscas.ac.cn

22

徐静

安全协议设计与分析：研究常用基础安全协议、区块链密码协议的设计理论与分析方法，完成高水平科研成果输出。

1

徐静

xujing@iscas.ac.cn

23

黄涛

分布式软件系统架构方向：面向涌现的新型计算范型，从事分布式软件系统架构的演进和高质量保障方法研究，与企业密切合作，将技术创新落地在智能计算系统、大数据处理系统和工业软件等领域，产生真正用户价值，赋能智能产业，完成高水平科研成果输出。

2

叶丹

yedan@otcaix.iscas.ac.cn

24

韩先培

1

韩先培

xianpei@iscas.ac.cn