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

1

马翠霞

1.多通道人机交互与智能座舱方向：从事多通道人机交互与智能座舱的前沿技术研究，聚焦汽车与飞机、航空座舱等复杂环境，通过深度融合手势、语音、眼动、触控等多模态交互信号，探索增强交互效能、降低用户认知负荷与疲劳、以及提升对智能系统信任度的创新机制，推动新一代自然交互技术在高端装备中的落地应用，完成高水平科研成果输出。

2.具身智能多模态交互方向：从事机器人操作技能学习（Locomotion Imitation Learning、Robotic Motion Generation、Robotic Teleoperation）和多模态环境感知（Multimodal Environmental Perception）的前沿算法研究，与头部企业密切合作，将前沿技术创新落地在工厂巡检、柔性制造、空间机器人等前沿领域，产生真正用户价值，赋能具身智能产业，完成高水平科研成果输出。

1

马翠霞

cuixia@iscas.ac.cn

2

王 青

1.智能化软件工程方向：基于大模型的代码生成和软件测试、面向智能算法的测试和质量保障等。

2.大模型可靠性和安全方向：大模型生成内容安全检测、大模型多范式应用的安全攻击和防御等。

3.大模型应用方向：面向大模型的领域应用等。

4

王俊杰

junjie@iscas.ac.cn

3

王俊杰

1.智能化软件工程方向：基于大模型的代码生成和软件测试、面向智能算法的测试和质量保障等。

2.大模型可靠性和安全方向：大模型生成内容安全检测、大模型多范式应用的安全攻击和防御等。

3.大模型应用方向：面向大模型的领域应用等。

3

王俊杰

junjie@iscas.ac.cn

4

王 伟

研究面向动态高速数据环境的分布式系统软件关键技术，重点研究云-边-端协同架构下的新型分布式数据分发系统软件范式，突破动态环境下数据"时延-吞吐-精度"动态权衡机制。完成高水平科研成果输出，扩大相关领域研究在学术界和产业界影响力，开展相关成果应用工作。

1

王 伟

wangwei@otcaix.iscas.acn

5

刘立祥

智能信息处理与应用

2

张 新

zhangxin@iscas.ac.cn

6

安 杰

形式化方法与智能软件技术；人机物融合系统设计与验证

2

张 新

zhangxin@iscas.ac.cn

7

孙 乐

韩先培

大模型知识机制分析及知识增强技术：分析大模型的知识机制，构建知识增强的大语言模型预训练、后训练和推理生成方法；研究神经和符号的融合算法，提升大模型的可解释性。通过产出高质量的科研成果，不断提升该研究方向在学术和产业界的影响，推动相关技术的落地应用。

2

刘显文

xianwen@iscas.ac.cn

8

李 玲

智能计算：探索人工智能驱动的软件新范式，高性能代码自动生成。

2

李 玲

liling@iscas.ac.cn

9

吴 恒

1.大模型资源优化管理问题：从事大模型计算、缓存、存储资源前沿管理机制研究，服务国家重大科研任务，完成高水平科研成果输出。

2.多模态数据优化管理问题：从事多模态数据汇聚、分布和冗余等等前沿技术的研究，服务国家重大科研任务，完成高水平科研成果输出。

1

吴 恒

wuheng@iscas.ac.cn

10

吴玉泉

大数据与智能信息处理

2

张 新

zhangxin@iscas.ac.cn

11

吴国全

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

2.智能体应用开发与可靠性保障方法方向：从事基于大模型的Web智能体方法、具身智能体开发方法，智能体应用可靠性保障方法研究，并开展实际应用。完成高水平科研成果输出。

2

吴国全

gqwu@otcaix.iscas.ac.cn

12

吴敬征

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

2

吴敬征

jingzheng08@iscas.ac.cn

13

连一峰

多模态数据网络安全智能认知方向：从事基于多模态数据的网络行为机器学习、无监督学习、自主学习的前沿算法研究，与相关管理职能部门密切合作，将前沿技术创新落地在国家网络安全监督管理、审查评估等领域，产生真正用户价值，完成高水平科研成果输出，并不断扩大相关领域研究在学术界和产业界影响力。

1

yifeng@iscas.ac.cn

14

张立波

智能基础理论：开展人工智能与生物医学等领域的交叉研究。

2

张立波

libo@iscas.ac.cn

15

张凤军

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

2

张凤军

fengjun@iscas.ac.cn

16

张振峰

1.后量子密码：从事后量子密码算法与后量子密码协议的设计与实现研究，申报并参与国家级科研项目，完成高水平科研成果输出。

2.人工智能数字信任体系：进行人工智能系统安全架构与智能体数字信任设计与应用研究，完成高水平成果输出，发表高水平论文。

2

徐 硕

xushuo@iscas.ac.cn

17

苏璞睿

从事软件与系统安全方面的研究：包括程序分析、漏洞挖掘与分析等。申报并参与国家级科研项目，研发工具系统，并推广应用；形成高水平科研成果，发表高水平期刊或会议论文。

2

胡 洁

hujie@iscas.ac.cn

18

武延军

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

2

武延军

yanjun@iscas.ac.cn

19

郑昌文

大数据与智能信息处理

2

张 新

zhangxin@iscas.ac.cn

20

赵 琛

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

2

libo@iscas.ac.cn

21

徐帆江

智能任务规划及评估

2

张 新

zhangxin@iscas.ac.cn

22

窦文生

数据库系统智能质量保障方向：从事关系型数据库、向量数据库等基础软件的智能质量保障前沿技术研究，研发面向数据库系统的智能化软件测试、验证、优化、运维技术，完成高水平科研成果输出，不断扩大相关领域研究在产业界的影响力。

1

窦文生

wensheng@iscas.ac.cn

23

蔡 彦

软件分析测试方向：研究高精度的代码静态分析技术和智能化的自动测试方法，研制相应的原型工具，并推广应用。

1

蔡 彦

yancai@ios.ac.cn

24

魏 峻

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

2

魏 峻

weijun@iscas.ac.cn

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

1

丁治明

数据库大模型。时空大数据数据、人工智能多模态大模型、边缘计算平台。

3

chenyujia@iscas.ac.cn

2

马菲菲

自动推理与约束求解方向：研究可满足性模理论与优化模理论的新型求解算法，开发具有国际领先水平的高效求解器。

2

马菲菲

mafeifei@iscas.ac.cn

3

王宏安

实时人工智能方向：重点研究具有时间约束的人工智能技术，完成高水平科研成果输出，并在典型工业领域应用验证。

1

王宏安

hongan@iscas.ac.cn

4

邓小明

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

2.多通道人机交互方向：从事多通道融合交互技术创新性研究，具有手势、眼动、语音交互和多模态大模型等研究经验者优先，与海内外著名实验室密切合作，完成高水平科研成果及应用。

1

邓小明

xiaoming@iscas.ac.cn

5

冯登国

从事网络安全、数据安全、机密计算等研究：形成国际一流的科研成果，推动关键技术落地应用，提升本领域研究在学术界和产业界的影响力。

2

张敏

zhangmin@iscas.ac.cn

6

田 丰

1.多模态人机交互技术方向：开展多模态人机交互（Multimodal Human-Computer Interaction）关键技术研究，面向医疗健康与AI诊疗场景，推动前沿技术在AI诊疗场景中的应用。聚焦神经系统疾病的早期检测与精准干预，研究多模态干预生成与调度算法，涵盖个体化参数学习、多模态融合与协同控制机制、可靠性评估与不确定性驱动决策、交互意图识别与实时响应机制，形成可解释、可验证的智能化康复方案与交互终端，提升医疗服务的智能化与精准化水平，并支撑高水平科研成果产出。

2.医疗健康智能交互技术方向：研究面向神经认知障碍等疾病预警、诊断、康复的多通道交互智能技术，构建诊疗大模型；研究基于神经接口的言语、视觉、运动等多通道建模与解码技术，辅助障碍诊断与康复；发表高水平学术论文，推动相关技术落地。

2

孙 伟

sunwei2017@iscas.ac.cn

7

安 杰

形式化方法与智能软件技术；人机物融合系统设计与验证

2

张 新

zhangxin@iscas.ac.cn

8

乔 颖

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

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

1

乔 颖

qiaoying@iscas.ac.cn

9

刘立祥

智能信息处理与应用

2

张 新

zhangxin@iscas.ac.cn

10

刘芳芳

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

1

刘芳芳

fangfang@iscas.ac.cn

11

孙 乐

韩先培

大模型的训练与推理算法:针对大模型幻觉挑战，研究检索增强技术，提升大模型生成可信性；针对大模型落地难题，研究大模型复杂推理能力的高效习得和高性能架构。通过产出高质量的科研成果，不断提升该研究方向在学术和产业界的影响，推动相关技术的落地应用。

2

刘显文

xianwen@iscas.ac.cn

12

李会元

高性能计算方向：面向国产智超一体化E级计算系统，开展人工智能与高性能计算深度融合的软件与算法创新研究。具体针对第一性原理计算、流体力学、中子输运等应用问题，开展AI赋能的新型高阶离散及其E级并行算法、嵌入物理知识与约束的机理与数据相结合的AI建模与计算、以及AI4S科学问题智能求解器方面的研究。完成高性能计算应用软件、论文、专利等高水平科研成果输出。

1

李会元

huiyuan@iscasa.c.cn

13

宋 富

可信代码大模型：研究编译技术、程序静态分析和形式化验证与代码大模型交叉前沿领域，保障大模型代码的正确性和安全性。

2

宋 富

songfu@ios.ac.cn

14

陈 华

密码实现防护与芯片安全评估：针对公钥、杂凑、分组密码算法的侧信道防护设计，软/硬件优化实现，密码IP与芯片的硬件安全评估等方面开展深入研究，完成高水平科研成果输出，并推广相关成果在产业界的落地应用。

1

高 思

gaosi@iscac.ac.cn

15

陈 峰

1．垂直领域的知识增强与Agent智能体的前沿算法研究：与企业密切合作，将前沿技术创新落地在AI风险评估等应用领域，产生真正用户价值，赋能智能产业，完成高水平科研成果输出。

2．多模态统一表征与世界模型方向：研究如何让模型通过视频和3D数据，真正理解物理规律、因果关系和空间几何；探索像素、体素与文本Token在潜在空间（Latent Space）的同构映射关系，完成高水平科研成果输出，不断扩大相关领域研究在学术界和产业界影响力，并推广相关产业化工作。

1

闫碧莹

biying@iscas.ac.cn

16

陈海波

1.具身智能操作系统方向:从事轻量化、实时性机器人操作系统研发，重点探索感知-决策-控制一体化架构、多模态任务调度及人机协同接口等关键问题，与头部企业密切合作，完成高水平科研成果输出。

2.大模型操作系统方向：参与面向大模型训练、推理与服务的下一代操作系统核心技术的研发，重点探索大规模资源协同调度、自适应计算框架、模型-硬件协同优化及智能化运维等前沿问题，与头部企业密切合作，完成高水平科研成果输出。

1

李明煜

limingyu@ios.ac.cn

17

张 健

1.软件分析测试方向：研究高精度的代码静态分析技术和智能化的自动测试方法，研制相应的原型工具，并推广应用。

2.自动推理与约束求解方向：研究高效率的自动推理与约束求解技术，研制原型工具，并推广应用。

2

zj@ios.ac.cn

18

张 斌

1.对称密码算法的线性与相关分析

2.对称密码相关数学困难问题求解

1

张 斌

zhangbin@iscas.ac.cn

19

张立军

1.可信人工智能方向：对神经网络安全和大模型安全方向有深入了解，对前沿的攻击和防御方法有所了解。能够进行安全相关的科研任务以及将相关技术进行实际应用。

2.形式化验证方向：对形式化方法，代码安全，定理证明，约束求解，神经网络验证等方向有深入了解，能够进行安全相关的科研任务，并推广相关产业化工作。

2

张立军

zhanglj@ios.ac.cn

20

张常有

1.工业时空智能模型方向：开展工业产品或企业数据实体-关系分析方法研究，构建面向时空智能的知识图谱建模方法研究，支持装备数字孪生系统研发与智能服务体系，形成具有自主知识产权的算法模型，推动产业化。具备智能数据处理相关研究背景，有工业软件跨领域数据建模项目实践经验，编程能力佳，团队协同工作能力强。

2.系统仿真计算方向：从事面向分布装备系统的仿真计算方法研究，探索数据/机理混合增强求解计算与系统验证方法，形成基于异构平台的领域算法模型库和软件体系，提升装备设计/验证/运维业务的用户体验，产出高水平科研成果。熟练掌握Java/C++等编程语言，有国家级科研项目经验，具备良好的英语沟通能力与跨团队协作能力。

2

张常有

changyou@iscas.ac.cn

21

吴玉泉

大数据与智能信息处理

2

张 新

zhangxin@iscas.ac.cn

22

吴志林

1.操作系统形式化验证：包括验证条件生成和化简、大模型辅助规约和不变式生成、大模型辅助定理证明等，研制相关工具，撰写高水平论文。

2. RISC-V处理器形式化验证技术：RISC-V处理器Chisel和SystemVerilog设计的指令集一致性验证、模型检测算法优化、模型检测与模糊测试技术的结合等。

2

吴志林

wuzl@ios.ac.cn

23

吴文玲

1.对称密码算法设计与分析相关技术研究；新一代密码杂凑算法和分组密码算法设计与安全性评估；密码算法自动化分析技术研究；对称密码抗量子攻击研究。

2.对称密码自动化分析工具研制；基于人工智能的对称密码设计分析工具研制，完成高水平科研成果输出，不断扩大相关领域研究在学术界和产业界影响力，并推广相关产业化工作。

1

吴文玲

wenling@iscas.ac.cn

24

官 极

1.量子计算与形式化方法的交叉研究：专注于量子程序的模型检测、可信量子机器学习以及量子算法的电路实现等领域的探索。通过引入形式化验证技术，旨在提高量子计算系统的可靠性与安全性。

2.量子计算的隐私保护机制研究：研究基于量子测量的差分隐私机制，提出最优算法设计，以平衡量子数据处理过程中的隐私性与效用性。

1

官 极

guanj@ios.ac.cn

25

郑昌文

大数据与智能信息处理

2

张 新

zhangxin@iscas.ac.cn

26

徐帆江

智能任务规划及评估

2

张 新

zhangxin@iscas.ac.cn

27

黄 进

1.人物耦合仿真引擎方向:人类感知建模、认知建模和运动计算建模的前沿方法研究，探索人类计算模型与现有成熟的物理仿真模型的耦合方法，实现有意识的人类行为在物理世界中的耦合仿真，构建人物耦合仿真引擎，产出高水平学术论文，并在交互系统测试、医疗健康、自动驾驶等领域应用。

2.人机增强智能方向：基于大模型智能体技术，研究新型人机增强智能方法，探索基于大模型智能体的未来应用架构，研发支持跨领域、多场景应用的人机增强智能计算平台与智能体开发平台，产出高水平学术论文，在辅助医疗、智慧教育、智能驾驶等领域进行应用。

3.空间计算方向：研究支持手势、语音、眼动、笔式、情感、肌电多通道融合的空间计算交互技术，研究面向空间交互的用户意图理解与效能增强技术，面向空间交互建立动态连续交互模型，研发形成空间计算交互平台，发表高水平学术论文，在辅助医疗、智慧教育领域应用。

3

黄 进

huangjin@iscas.ac.cn

28

曹建文

1.高性能计算与数值模拟软件方向：面向国产异构超算系统，从事数值模拟软件的并行算法设计与核心求解器研发。重点研究大规模异构并行计算、混合精度求解及多物理场耦合算法；结合人工智能技术，探索数据驱动的数值模拟新方法（AI for Science），推动国产高性能数值软件的自主创新与研发。

1

吴学凇

xuesong@iscas.ac.cn

29

韩 腾

1.触觉及多模态交互方向：研发轻薄结构、高效能、高时空分辨率的触觉界面（Haptic Interface & Devices），拓展其触觉渲染能力，开发视触一体化人机协同交互平台，服务于具身智能、遥操作等重要人机协同交互领域，完成高水平科研成果输出，并推广相关产业化工作；

2.具身智能交互方向：研究人类交互行为的感知、认知与决策的神经机制，建立数据表征的理论方法，探索视听触多模态信息的语义融合机制，定义人机交互原语与规则，挖掘适合特定任务的人机交互机制、交互模式和协同决策方法，完成高水平科研成果输出。

2

韩 腾

hanteng@iscas.ac.cn