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

1

马翠霞

笔式用户界面软件架构和算法研究、多模态数据智能处理技术：实践能力强，与头部企业密切合作，将前沿创新技术落地，不断扩大相关领域研究在学术界和产业界影响力，并推广相关产业化工作。

1

马翠霞

cuixia@iscas.ac.cn

2

王 青

智能软件工程方向：从事复杂环境下人机物融合的软件制品智能理解，群体协作的智能化支持、质量数据的自动分析、以及测试自动化技术研究，完成高水平科研成果输出，不断扩大相关领域研究在学术界和产业界的影响力，并推广相关产业化工作。

2

王丹丹

dandan@iscas.ac.cn

3

王俊杰

智能软件工程方向：智能软件工程方向：从事智能算法、智能系统、智能体、预训练大模型等的测试、安全、可信评估和保障等相关方向的研究，完成高水平科研成果输出，不断扩大相关领域研究在学术界和产业界的影响力，并推广相关产业化工作。

1

王丹丹

dandan@iscas.ac.cn

4

左 春

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

2

左 春

zuochun@sinosoft.com.cn

5

田 丰

1、笔式草图智能理解方向：面向公式、图表等手绘草图输入场景，研究基于草图的复杂结构信息输入、理解和绘制算法，拓宽笔式应用的场景与应用领域。产出软件系统，推动相关技术产业落地；

2、智能人机交互用户体验计算与信息处理方向：从事用户体验感知与智能信息处理方法研究，创新性地利用人工智能相关技术分析处理人机交互过程中的交互数据，提高人机交互过程中的用户体验，辅助应用在AI健康医疗、数字交互、人机协同等前沿领域，发表高水平学术论文。

1

田 丰

tianfeng@iscas.ac.cn

6

刘立祥

智能信息处理与应用

2

张 新

zhangxin@iscas.ac.cn

7

孙 乐

韩先培

大语言模型与知识增强学习：从事知识增强的语言模型训练方法、大语言模型的可解释性与可信度提升、跨领域知识迁移与适应性学习和模型压缩与效率优化的前沿技术研究。通过产出高质量的科研成果，不断提升该研究领域在学术和产业界的影响力，推动相关技术的落地进程。

2

刘显文

xianwen@iscas.ac.cn

8

严 俊

软件分析方向：研究前沿程序静态分析技术，提升现有静态分析技术的精度；利用软件静态分析技术，研究基础软件向RISC-V平台迁移，以及软件供应链安全中的关键技术问题；开发高效率软件工具，能够有效检测大型基础软件系统中的缺陷；与主流软件企业/机构合作，扩大相关领域研究在学术界和产业界影响力，并推广相关产业化工作。

2

严 俊

yanjun@otcaix.iscas.ac.cn

9

李 玲

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

2

liling@iscas.ac.cn

10

吴玉泉

大数据与智能信息处理

2

张 新

zhangxin@iscas.ac.cn

11

吴国全

智能软件测试与运维方向：从事基于大语言模型的智能化软件测试以及面向云原生应用的智能化运维关键技术研究，并开展实际应用。完成高水平科研成果输出，不断扩大相关领域研究在学术界和产业界影响力，推广相关产业化工作。

1

gqwu@otcaix.iscas.ac.cn

12

吴敬征

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

2

jingzheng08@iscas.ac.cn

13

张凤军

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

1

张凤军

fengjun@iscas.ac.cn

14

武延军

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

2

yanjun@iscas.ac.cn

15

郑昌文

大数据与智能信息处理

2

张 新

zhangxin@iscas.ac.cn

16

赵 琛

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

2

libo@iscas.ac.cn

17

徐帆江

智能任务规划及评估

2

张 新

zhangxin@iscas.ac.cn

18

窦文生

分布式系统与数据库系统可靠性方向：从事分布式系统、数据库系统等基础软件可靠性保障的前沿技术研究，研发面向基础软件的新型软件测试、形式化验证、系统优化及相关融合技术，完成高水平科研成果输出，并与头部企业密切合作，不断扩大相关领域研究在产业界的影响力。

1

窦文生

wensheng@iscas.ac.cn

19

蔡 彦

软件分析与测试：研究基于智能的高效软件测试方法，包括软件安全、并发程序分析、RISC-V软件测试、嵌入式软件测试等方面，结合人工智能算法，提出高效的测试方法，实现相应的工具，并在真实大规模软件上产生应用。

2

蔡 彦

yancai@ios.ac.cn

20

魏 峻

智能软件工程方向：从事AI4SE，特别是强化学习、LLM等深度学习模型与传统AI方法结合的前沿研究工作，与软件建模、编程、测试、部署、迁移等方面紧密结合，提升新一代智能泛在基础软件研发效能，在军事、智能制造、智能家居、自动驾驶等领域，产生真正用户价值，赋能智能产业，完成高水平科研成果输出

2

魏 峻

weijun@iscas.ac.cn

二、计算机科学与技术博士后流动站

1

王宏安

1、人机交互方向：从事多通道融合交互技术创新性研究，重点研究多通道异构交互信息融合机制和多通道交互效用评估方法，实现高水平科研成果输出及产业化应用。

2、实时智能方向：针对高维时空数据潜在规律发现问题，重点开展基于机器学习的高维时空数据模式分析方法的创新性研究，形成高水平科研成果输出。

2

王宏安

hongan@iscas.ac.cn

2

邓小明

人手与物体跟踪与交互合成方向：从事人手跟踪、抓取生成、强化学习的前沿算法和系统研究，具有人体或人手运动控制、机械手操作生成等研究经验者优先，与海内外著名实验室密切合作，完成高水平科研成果。

1

邓小明

xiaoming@iscas.ac.cn

3

田 丰

1、新型人机交互基础理论和模型方向：研究新型交互情境下的用户感知、认知与行为模式，构建人机交互认知与运动模型；探索交互意图理解方法，设计智能交互辅助技术；进行深入理论探索，发表高水平学术论文；

2、自然交互感知方向：从事智能感知技术，研究新型交互感知技术，包括柔性电子、信号处理、机器学习算法等；面向自然交互场景，搭建系列智能交互设备，研究基于场景-行为的意图理解技术；发表高水平学术论文，推动相关技术产业落地。

1

田 丰

tianfeng@iscas.ac.cn

4

乔 颖

1、神经网络实时推理方向：从事面向神经网络的模型压缩（Model Compression）和动态推理（Dynamic Inference）前沿算法研究，完成高水平科研成果输出，不断扩大相关领域研究在学术界和产业界影响力。

2、实时智能系统方向：进行实时智能算法、实时任务调度、实时系统体系结构等领域前沿技术的研究，与头部企业密切合作，将前沿技术创新落地在新型电力系统、AI健康医疗、自动驾驶等前沿领域。完成高水平科研成果输出并助力实时智能算法的落地应用。

1

乔 颖

qiaoying@iscas.ac.cn

5

刘立祥

智能信息处理与应用

2

张 新

zhangxin@iscas.ac.cn

6

刘芳芳

高性能扩展数学库方向：从事面向国产高性能处理器上的国产高性能扩展数学库并行算法和性能优化技术以及自动代码生成技术研究，完成高水平科研成果输出，不断扩大自研高性能扩展数学库的影响力

1

刘芳芳

fangfang@iscas.ac.cn

7

孙 乐

韩先培

大模型驱动的信息检索：聚焦于大模型在信息检索领域的应用与创新，重点研究如何利用大规模预训练语言模型优化传统信息检索系统的性能和效率。大模型在复杂查询理解、语义检索、个性化搜索等方面的应用；结合知识图谱和大模型提升信息检索系统的准确性和可解释性；探索大模型在跨语言、跨模态检索中的应用潜力等。通过产出高质量的研究成果，将研究成果应用于实际的信息检索系统，推动信息检索技术的发展。

2

刘显文

xianwen@iscas.ac.cn

8

李会元

并行计算方向：面向第一性原理、流体力学等应用问题，开展国产异构系统上E级可扩展（高阶有限元与谱元方法）算法设计、软件研制、代码移植与性能优化。完成（E级高性能计算应用软件、论文、专利等）高水平科研成果输出。

1

李会元

huiyuan@iscasa.c.cn

9

杨秋松

软硬件深度融合：面向国家重大项目需求，主要进行核心基础软硬件（CPU/OS）的协同设计/验证、联合性能优化、综合安全等方向的高水平研究，并完成高水平研究在项目中的应用。

1

李文波

wenbo@iscas.ac.cn

10

吴玉泉

大数据与智能信息处理

2

张 新

zhangxin@iscas.ac.cn

11

张文博

1、大模型性能工程方向：从事大模型系统软件的内存管理、算子管理、算力管理等前沿技术研究，结合国家重大需求，将前沿技术创新落地在航天、工业等领域，完成高水平科研成果输出；

2、分布式系统的构造演化方向：围绕自主可控容器引擎、集群管理、资源调度、平台运维等基础软件的构造演化前沿技术开展研究，完成高水平科研成果输出，不断扩大相关领域研究在学术界和产业界影响力，并推广相关产业化工作。

2

张文博

zhangwenbo@otcaix.iscas.ac.cn

12

张振峰

1、抗量子密码算法和密码协议设计与分析、抗量子密码实现技术

2、基于端到端认证与加密的数据安全理论与技术

3

陈隆

chenlong@iscas.ac.cn

13

陈华

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

1

陈华

chenhua@iscas.ac.cn

14

郑昌文

大数据与智能信息处理

2

张 新

zhangxin@iscas.ac.cn

15

徐帆江

智能任务规划及评估

2

张 新

zhangxin@iscas.ac.cn

16

黄 涛

分布式系统软件方向：面向涌现的新型计算范型和软硬件架构，从事云计算基础设施中无服务器计算、异构存储管理、网络管理等方面的关键技术研究，与企业密切合作，将技术创新落地在智能计算系统、大数据处理系统和工业软件等领域和云边协同等典型场景，产生真正用户价值，赋能智能产业，完成高水平科研成果输出。

1

叶 丹

yedan@otcaix.iscas.ac.cn

17

韩 腾

视触融合与人机协同研究方向：面向人机协同任务，研究视觉触觉通道融合问题以提升人机协同任务的完成效率。具体研究内容涵盖到面向视觉-触觉信息同步的感知研究，视觉-触觉同步方法研究，以及视触融合在人机协同中的方案设计及效果评估。 研究目标是推动视触融合基础认知原理，开发视触融合技术平台，输出高水平科研成果。

1

韩 腾

hanteng@iscas.ac.cn

18

蔡少伟

1. 可满足性问题及其应用：从事可满足性问题（SAT）、可满足性模理论（SMT）的前沿算法研究，与头部企业密切合作，将相关前沿技术落地在模型检查、密码学等相关领域，产生用户价值，赋能软硬件验证产业，完成高水平科研成果输出；
2. 电子设计自动化（EDA）方向：进行等价性验证、逻辑综合、模型检查、测试等与EDA相关的前沿技术的研究，完成高水平科研成果输出，不断扩大相关领域研究在学术界和产业界的影响力，并推进相关产业化工作。

1

蔡少伟

caisw@ios.ac.cn

19

薛 白

强化学习

1

薛 白
xuebai@ios.ac.cn