一、軟件工程博士后流動站

1

馬翠霞

1.多模態(tài)融合手寫筆交互方向：

融合多模態(tài)時空上下文信息，對用戶模糊交互意圖表達(dá)進(jìn)行準(zhǔn)確響應(yīng)，綜合提高筆式界面的用戶體驗，與頭部企業(yè)密切合作，將前沿技術(shù)創(chuàng)新落地在生產(chǎn)力提升等前沿領(lǐng)域，產(chǎn)生真正用戶價值，賦能智能產(chǎn)業(yè)，完成高水平科研成果輸出。

2. 人機(jī)信任與柔性接管方向：面向高級別自動駕駛場景，如何構(gòu)建適當(dāng)?shù)娜藱C(jī)共駕關(guān)系和提供高效協(xié)同策略，與頭部企業(yè)密切合作，將前沿技術(shù)創(chuàng)新落地在智能座艙交互能力提升等前沿領(lǐng)域，賦能智能產(chǎn)業(yè)，完成高水平科研成果輸出。

1

馬翠霞

cuixia@iscas.ac.cn

2

王青

1.智能化軟件工程方向：基于大模型的代碼生成和軟件測試、面向智能算法的測試和質(zhì)量保障等。

2.大模型可靠性和安全方向：大模型生成內(nèi)容安全檢測、大模型多范式應(yīng)用的安全攻擊和防御等。

3.大模型應(yīng)用方向：面向大模型的領(lǐng)域應(yīng)用等。

4

王俊杰

junjie@iscas.ac.cn

3

王俊杰

1.智能化軟件工程方向：基于大模型的代碼生成和軟件測試、面向智能算法的測試和質(zhì)量保障等。

2.大模型可靠性和安全方向：大模型生成內(nèi)容安全檢測、大模型多范式應(yīng)用的安全攻擊和防御等。

3.大模型應(yīng)用方向：面向大模型的領(lǐng)域應(yīng)用等。

3

王俊杰

junjie@iscas.ac.cn

4

王偉

系統(tǒng)軟件方向：研究面向動態(tài)高速數(shù)據(jù)環(huán)境的分布式系統(tǒng)軟件關(guān)鍵技術(shù)，重點研究云-邊-端協(xié)同架構(gòu)下的新型分布式數(shù)據(jù)處理分析系統(tǒng)軟件范式，突破動態(tài)環(huán)境下"時延-精度-資源"問題。完成高水平科研成果輸出，擴(kuò)大相關(guān)領(lǐng)域研究在學(xué)術(shù)界和產(chǎn)業(yè)界影響力，開展相關(guān)成果應(yīng)用工作。

1

王偉

wangwei@otcaix.iscas.acn

5

劉立祥

智能信息處理與應(yīng)用

2

張新

zhangxin@iscas.ac.cn

6

孫樂

韓先培

大模型的增強(qiáng)生成及推理。針對大模型知識挑戰(zhàn)，研究檢索增強(qiáng)生成技術(shù)，降低大模型幻覺，提升大模型生成可信性；針對大模型推理挑戰(zhàn)，研究大模型復(fù)雜推理能力的高效習(xí)得和高性能架構(gòu)。通過產(chǎn)出高質(zhì)量的科研成果，不斷提升該研究方向在學(xué)術(shù)和產(chǎn)業(yè)界的影響，推動相關(guān)技術(shù)的落地應(yīng)用。

2

劉顯文

xianwen@iscas.ac.cn

7

李玲

智能計算系統(tǒng)，智能處理器編程模型，RISC-V基礎(chǔ)軟件

2

李玲

liling@iscas.ac.cn

8

吳玉泉

大數(shù)據(jù)與智能信息處理

2

張新

zhangxin@iscas.ac.cn

9

吳國全

智能軟件測試與運(yùn)維方向：從事基于大語言模型的智能化軟件測試以及面向云原生應(yīng)用的智能化運(yùn)維關(guān)鍵技術(shù)研究，并開展實際應(yīng)用。完成高水平科研成果輸出，不斷擴(kuò)大相關(guān)領(lǐng)域研究在學(xué)術(shù)界和產(chǎn)業(yè)界影響力，推廣相關(guān)產(chǎn)業(yè)化工作。

1

吳國全

gqwu@otcaix.iscas.ac.cn

10

吳敬征

開源軟件供應(yīng)鏈安全：從事開源軟件供應(yīng)鏈安全研究工作，代碼表示及缺陷挖掘，利用漏洞圖譜對開源軟件供應(yīng)鏈的安全風(fēng)險、維護(hù)性風(fēng)險及知識產(chǎn)權(quán)風(fēng)險進(jìn)行分析研究。

2

吳敬征

jingzheng08@iscas.ac.cn

11

張鳳軍

圖數(shù)據(jù)庫與智能可視分析：涉及傳染病、金融數(shù)據(jù)的可視分析技術(shù)研究

2

張鳳軍

fengjun@iscas.ac.cn

12

武延軍

智能基礎(chǔ)軟件：面向RISC-V芯片和AI芯片的操作系統(tǒng)內(nèi)核、編譯工具鏈、運(yùn)行時環(huán)境、編程框架等。

2

武延軍

yanjun@iscas.ac.cn

13

鄭昌文

大數(shù)據(jù)與智能信息處理

2

張新

zhangxin@iscas.ac.cn

14

趙琛

智能基礎(chǔ)理論：研究智能計算的可解釋、可計算、可進(jìn)化和人機(jī)深度融合問題

2

libo@iscas.ac.cn

15

徐帆江

智能任務(wù)規(guī)劃及評估

2

張新

zhangxin@iscas.ac.cn

16

竇文生

數(shù)據(jù)庫系統(tǒng)質(zhì)量保障方向：從事關(guān)系型數(shù)據(jù)庫、圖數(shù)據(jù)庫、向量數(shù)據(jù)庫等基礎(chǔ)軟件的質(zhì)量保障前沿技術(shù)研究，研發(fā)面向數(shù)據(jù)庫系統(tǒng)的智能化軟件測試、驗證、優(yōu)化、運(yùn)維技術(shù)，完成高水平科研成果輸出，不斷擴(kuò)大相關(guān)領(lǐng)域研究在產(chǎn)業(yè)界的影響力。

1

竇文生

wensheng@iscas.ac.cn

17

蔡彥

1、軟件智能測試與分析：研究程序分析與軟件測試的不足，包括動態(tài)測試與靜態(tài)分析，設(shè)計更高效的測試算法，并結(jié)合AI技術(shù)提升測試覆蓋度。

2、智能系統(tǒng)測試：針對類AI系統(tǒng)，設(shè)計與實現(xiàn)系統(tǒng)性的測試方法，開發(fā)相應(yīng)的工具，并在已有的智能系統(tǒng)上開展實驗評估。智能系統(tǒng)包括：自動駕駛、機(jī)器人等。

2

蔡彥

yancai@ios.ac.cn

18

魏峻

智能軟件工程方向：從事AI4SE，特別是強(qiáng)化學(xué)習(xí)、LLM等深度學(xué)習(xí)模型與傳統(tǒng)AI方法結(jié)合的前沿研究工作，與軟件建模、編程、測試、部署、遷移等方面緊密結(jié)合，提升新一代智能泛在基礎(chǔ)軟件研發(fā)效能，在軍事、智能制造、智能家居、自動駕駛等領(lǐng)域，產(chǎn)生真正用戶價值，賦能智能產(chǎn)業(yè)，完成高水平科研成果輸出。

2

魏峻

weijun@iscas.ac.cn

二、計算機(jī)科學(xué)與技術(shù)博士后流動站

1

王宏安

1、人機(jī)交互方向:從事多通道融合交互技術(shù)創(chuàng)新性研究，重點研究多通道多模態(tài)交互信息實時融合機(jī)制和多通道交互效用評估方法，實現(xiàn)高水平科研成果輸出及產(chǎn)業(yè)化應(yīng)用。

2、實時智能方向:研究感知數(shù)據(jù)實時智能管理方法，重點研究面向異構(gòu)時空數(shù)據(jù)的時間構(gòu)型分析與管理技術(shù)，形成高水平科研成果輸出。

2

王宏安

hongan@iscas.ac.cn

2

王文成

侯飛

1、智能圖形生成及分析方向：從事深度學(xué)習(xí)的高效高質(zhì)量圖形生成（特別是三維建模）及結(jié)構(gòu)分析的前沿研究，取得國際一流的科研成果，并與頭部企業(yè)密切合作，推廣相關(guān)產(chǎn)業(yè)化工作。

2、高感知可視化方向：進(jìn)行信息的高感知可視化前沿研究，提高相關(guān)任務(wù)的完成效率，取得國際一流的研究成果并推動相關(guān)應(yīng)用發(fā)展。

2

whn@ios.ac.cn

houfei@ios.ac.cn

3

鄧小明

1、人手與物體跟蹤與交互合成方向：從事人手跟蹤、抓取生成、強(qiáng)化學(xué)習(xí)的前沿算法和系統(tǒng)研究，具有人體或人手運(yùn)動控制、機(jī)械手操作生成等研究經(jīng)驗者優(yōu)先，與海內(nèi)外著名實驗室密切合作，完成高水平科研成果。

2、多通道人機(jī)交互方向：從事多通道融合交互技術(shù)創(chuàng)新性研究，具有手勢、眼動、語音交互和多模態(tài)大模型等研究經(jīng)驗者優(yōu)先，與海內(nèi)外著名實驗室密切合作，完成高水平科研成果及應(yīng)用。

1

鄧小明

xiaoming@iscas.ac.cn

4

田豐

1、新型人機(jī)交互基礎(chǔ)理論和模型方向：研究新型交互情境下的用戶感知、認(rèn)知與行為模式，構(gòu)建人機(jī)交互認(rèn)知與運(yùn)動模型；探索交互意圖理解方法，設(shè)計智能交互輔助技術(shù)；進(jìn)行深入理論探索，發(fā)表高水平學(xué)術(shù)論文；

2、自然交互感知方向：從事智能感知技術(shù)，研究新型交互感知技術(shù)，包括柔性電子、信號處理、機(jī)器學(xué)習(xí)算法等；面向自然交互場景，搭建系列智能交互設(shè)備，研究基于場景-行為的意圖理解技術(shù)；發(fā)表高水平學(xué)術(shù)論文，推動相關(guān)技術(shù)產(chǎn)業(yè)落地。

2

田豐

tianfeng@iscas.ac.cn

5

劉立祥

智能信息處理與應(yīng)用

2

張新

zhangxin@iscas.ac.cn

6

劉芳芳

高性能擴(kuò)展數(shù)學(xué)庫方向：從事面向國產(chǎn)高性能處理器上的國產(chǎn)高性能擴(kuò)展數(shù)學(xué)庫并行算法和性能優(yōu)化技術(shù)以及自動代碼生成技術(shù)研究，完成高水平科研成果輸出，不斷擴(kuò)大自研高性能擴(kuò)展數(shù)學(xué)庫的影響力。

1

劉芳芳

fangfang@iscas.ac.cn

7

孫樂

韓先培

大模型知識機(jī)制分析及知識增強(qiáng)技術(shù)：分析大模型的知識機(jī)制，構(gòu)建知識增強(qiáng)的大語言模型預(yù)訓(xùn)練、后訓(xùn)練和推理生成方法；研究神經(jīng)和符號的融合算法，提升大模型的可靠性、可信性和可解釋性。通過產(chǎn)出高質(zhì)量的科研成果，不斷提升該研究方向在學(xué)術(shù)和產(chǎn)業(yè)界的影響，推動相關(guān)技術(shù)的落地應(yīng)用。

2

劉顯文

xianwen@iscas.ac.cn

8

李會元

并行計算方向：面向第一性原理、流體力學(xué)、中子輸運(yùn)等應(yīng)用問題，開展國產(chǎn)異構(gòu)系統(tǒng)上E級可擴(kuò)展高階算法設(shè)計、軟件研制與性能優(yōu)化工作。完成E級高性能計算應(yīng)用軟件、論文、專利等高水平科研成果輸出。

2

李會元

huiyuan@iscasa.c.cn

9

宋富

可信代碼大模型：研究編譯技術(shù)、程序靜態(tài)分析和形式化驗證與代碼大模型交叉前沿領(lǐng)域，保障大模型代碼的正確性和安全性。

2

宋富

songfu@ios.ac.cn

10

何小偉

開放場景的高性能實時流體仿真方向：針對實時物理仿真難點，結(jié)合自適應(yīng)數(shù)據(jù)結(jié)構(gòu)，開展開放場景下高性能流體仿真的前沿算法研究。通過優(yōu)化數(shù)據(jù)結(jié)構(gòu)和計算方法，提高流體仿真在復(fù)雜開放環(huán)境中的效率和精度。與國內(nèi)外知名高校及科研院所建立緊密合作關(guān)系，將高性能流體仿真技術(shù)應(yīng)用于工業(yè)軟件、機(jī)器人仿真、智慧醫(yī)療等領(lǐng)域，完成高水平科研成果輸出。

1

何小偉

xiaowei@iscas.ac.cn

11

陳華

可證明安全的密碼算法實現(xiàn)防護(hù)與評估方法：對基于掩碼的抗側(cè)信道攻擊防護(hù)方法、形式化驗證、低代價優(yōu)化實現(xiàn)等方面展開研究，完成高水平科研成果輸出，并推廣相關(guān)成果在產(chǎn)業(yè)界的應(yīng)用。

1

陳華

chenhua@iscas.ac.cn

12

張立軍

1、可信人工智能方向：對神經(jīng)網(wǎng)絡(luò)安全和大模型安全方向有深入了解，對前沿的攻擊和防御方法有所了解。能夠進(jìn)行安全相關(guān)的科研任務(wù)以及將相關(guān)技術(shù)進(jìn)行實際應(yīng)用。

2、形式化驗證方向：對形式化方法，代碼安全，定理證明，約束求解，神經(jīng)網(wǎng)絡(luò)驗證等方向有深入了解，能夠進(jìn)行安全相關(guān)的科研任務(wù)，并推廣相關(guān)產(chǎn)業(yè)化工作。

2

張立軍

zhanglj@ios.ac.cn

13

張文博

高質(zhì)量大模型基礎(chǔ)設(shè)施方向：從事大模型訓(xùn)練和推理的計算、內(nèi)存、網(wǎng)絡(luò)、存儲資源管理前沿機(jī)制研究，與頭部企業(yè)密切合作，完成高水平科研成果輸出，不斷擴(kuò)大相關(guān)領(lǐng)域研究在學(xué)術(shù)界和產(chǎn)業(yè)界影響力，并推廣相關(guān)產(chǎn)業(yè)化工作。

2

張文博

zhangwenbo@iscas.ac.cn

14

張常有

1、多模態(tài)智能算法方向：從事多模態(tài)機(jī)器學(xué)習(xí)（Multimodal ML）和數(shù)據(jù)驅(qū)動的前沿智能算法研究，探索人機(jī)協(xié)同增強(qiáng)學(xué)習(xí)范式，結(jié)合國家戰(zhàn)略裝備設(shè)計/制造/運(yùn)維領(lǐng)域，如高速鐵路、大型船舶等行業(yè)，形成具有自主知識產(chǎn)權(quán)的算法體系。

2、系統(tǒng)仿真計算方向：從事面向分布裝備系統(tǒng)的仿真計算方法研究，探索數(shù)據(jù)/機(jī)理混合增強(qiáng)求解計算與系統(tǒng)驗證方法，形成基于異構(gòu)平臺的領(lǐng)域算法模型庫和軟件體系，提升大型裝備設(shè)計/驗證/運(yùn)維業(yè)務(wù)的用戶體驗，產(chǎn)出高水平科研成果，推動產(chǎn)業(yè)化。

2

張常有

changyou@iscas.ac.cn

15

張扶桑

智能感知方向：利用無處不在的無線信號，實現(xiàn)對人的呼吸監(jiān)測、睡眠監(jiān)測、手勢識別、行為識別以及日常生活狀態(tài)的長期監(jiān)測。主要包括：

1、量子感知：研究微觀原子感知機(jī)理，探索新型無線感知的應(yīng)用，完成高水平論文成果；

2、UWB、毫米波感知：基于商用手機(jī)、手表的超寬帶信號，研究人員定位、睡眠階段、行為活動識別等感知算法和技術(shù)；

3、聲波感知：利用車載麥克風(fēng)陣列系統(tǒng)實現(xiàn)非接觸的人員存在性感知和生命體征監(jiān)測，不斷擴(kuò)大相關(guān)領(lǐng)域研究在學(xué)術(shù)界和產(chǎn)業(yè)界影響力。

張扶桑

fusang@iscas.ac.cn

主頁：

https://people.ucas.edu.cn/~zhangfusang?language=en

16

吳玉泉

大數(shù)據(jù)與智能信息處理

2

張新

zhangxin@iscas.ac.cn

17

吳志林

大模型輔助定理證明：使用大語言模型來提升軟件交互式定理證明的自動化程度，并應(yīng)用于操作系統(tǒng)微內(nèi)核驗證，研制相關(guān)工具，撰寫高水平論文。

2

吳志林

wuzl@ios.ac.cn

18

陳海波

操作系統(tǒng)方向：從事內(nèi)核、運(yùn)行時、存儲、網(wǎng)絡(luò)、分布式等系統(tǒng)前沿研究，與頭部企業(yè)密切合作，完成高水平科研成果輸出。

1

李明煜

limingyu@ios.ac.cn

19

周立

1、量子程序與量子密碼學(xué)形式驗證：研究量子程序基礎(chǔ)理論，適用于量子與抗量子密碼學(xué)形式驗證理論研究與工具開發(fā)；

2、基于Coq/Lean的量子計算理論形式化：構(gòu)建線性代數(shù)、量子計算與信息理論、程序理論等的數(shù)學(xué)庫。

1

周立

zhouli@ios.ac.cn

20

官極

1、量子計算與形式化方法的交叉研究：專注于量子程序的模型檢測、可信量子機(jī)器學(xué)習(xí)以及量子算法的電路實現(xiàn)等領(lǐng)域的探索。通過引入形式化驗證技術(shù)，旨在提高量子計算系統(tǒng)的可靠性與安全性；

2、量子計算的隱私保護(hù)機(jī)制研究：研究基于量子測量的差分隱私機(jī)制，提出最優(yōu)算法設(shè)計，以平衡量子數(shù)據(jù)處理過程中的隱私性與效用性。

3、量子程序編譯方向：從事開發(fā)分布式量子程序編譯理論研究余工具開發(fā)，研究各類編譯優(yōu)化算法，集成開發(fā)編譯系統(tǒng)，對接各類路線

2

官極

guanj@ios.ac.cn

21

鄭昌文

大數(shù)據(jù)與智能信息處理

2

張新

zhangxin@iscas.ac.cn

22

徐帆江

智能任務(wù)規(guī)劃及評估

2

張新

zhangxin@iscas.ac.cn

23

黃濤

系統(tǒng)軟件方向：研究面型新型云計算基礎(chǔ)設(shè)施的系統(tǒng)軟件關(guān)鍵技術(shù)，重點研究運(yùn)行時系統(tǒng)優(yōu)化、計算資源管理等。完成高水平科研成果輸出，擴(kuò)大相關(guān)領(lǐng)域研究在學(xué)術(shù)界和產(chǎn)業(yè)界影響力，開展相關(guān)成果應(yīng)用工作。

1

葉丹

yedan@otcaix.iscas.ac.cn

24

黃?進(jìn)

人物耦合仿真引擎方向：人類感知建模、認(rèn)知建模和運(yùn)動計算建模的前沿方法研究，探索人類計算模型與現(xiàn)有成熟的物理仿真模型的耦合方法，實現(xiàn)有意識的人類行為在物理世界中的耦合仿真，構(gòu)建人物耦合仿真引擎，產(chǎn)出高水平學(xué)術(shù)論文，并在交互系統(tǒng)測試、醫(yī)療健康、自動駕駛等領(lǐng)域應(yīng)用。

1

黃進(jìn)

huangjin@iscas.ac.cn

25

曹建文

大規(guī)?？茖W(xué)計算方向：聚焦于大規(guī)模科學(xué)計算前沿數(shù)值算法和軟件架構(gòu)研究，特別是在航空航天、油藏模擬、流體力學(xué)、氣象模擬等領(lǐng)域的非線性問題求解。以提升計算性能與精度，解決大規(guī)模仿真中的挑戰(zhàn)，并推動技術(shù)在實際應(yīng)用中的落地，促進(jìn)學(xué)術(shù)與產(chǎn)業(yè)界的廣泛應(yīng)用。

1

吳學(xué)凇

xuesong@iscas.ac.cn

26

韓騰

1.人機(jī)交互與實體交互界面：從事無接觸式的實體交互技術(shù)的研究，將通過聲學(xué)原理探索聲波與實物以及用戶的智能立體交互機(jī)制，實現(xiàn)精準(zhǔn)、非接觸式的信息傳遞和物體操控。同時該研究致力于拓展至多感官交互通道，增強(qiáng)視聽觸味嗅交互體驗。本研究旨在推動新興交互方式的理論和技術(shù)發(fā)展，在混合現(xiàn)實，智能制造和機(jī)器人等領(lǐng)域具有廣泛的應(yīng)用前景和發(fā)展?jié)摿Γ?/span>

2.觸覺神經(jīng)交互方向：從事觸覺神經(jīng)接口與神經(jīng)反饋機(jī)制的前沿研究，探索觸覺神經(jīng)系統(tǒng)的神經(jīng)通路信號傳遞機(jī)制，開發(fā)高效精準(zhǔn)的觸覺神經(jīng)交互算法和硬件設(shè)備。與三甲醫(yī)院及頭部醫(yī)療企業(yè)合作，將研究成果應(yīng)用于智能假肢、康復(fù)醫(yī)療、老齡化，混合現(xiàn)實等領(lǐng)域，推動觸覺交互技術(shù)的創(chuàng)新與落地，賦能人機(jī)交互體驗，完成高水平科研成果輸出。

2

韓騰

hanteng@iscas.ac.cn

27

蔡少偉

從事可滿足性模理論(SMT)的前沿算法研究：包括增量化SMT求解，混合理論SMT求解等，與頭部企業(yè)密切合作，將前沿求解器技術(shù)落地在系統(tǒng)軟件分析驗證，自動化布局等前沿領(lǐng)域，產(chǎn)生實際工業(yè)應(yīng)用價值，完成高水平科研成果輸出。

1

李倩如

liqianru@ios.ac.cn

28

薛白

安全強(qiáng)化學(xué)習(xí)

1

薛白
xuebai@ios.ac.cn