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

1

馬翠霞

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

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

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

1

馬翠霞

cuixia@iscas.ac.cn

2

王青

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

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

3.大模型應用方向：面向大模型的領域應用等。

4

王俊杰

junjie@iscas.ac.cn

3

王俊杰

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

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

3.大模型應用方向：面向大模型的領域應用等。

3

王俊杰

junjie@iscas.ac.cn

4

王偉

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

1

王偉

wangwei@otcaix.iscas.acn

5

劉立祥

智能信息處理與應用

2

張新

zhangxin@iscas.ac.cn

6

孫樂

韓先培

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

2

劉顯文

xianwen@iscas.ac.cn

7

李玲

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

2

李玲

liling@iscas.ac.cn

8

吳玉泉

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

2

張新

zhangxin@iscas.ac.cn

9

吳國全

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

1

吳國全

gqwu@otcaix.iscas.ac.cn

10

吳敬征

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

2

吳敬征

jingzheng08@iscas.ac.cn

11

張鳳軍

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

2

張鳳軍

fengjun@iscas.ac.cn

12

武延軍

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

2

武延軍

yanjun@iscas.ac.cn

13

鄭昌文

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

2

張新

zhangxin@iscas.ac.cn

14

趙琛

智能基礎理論：研究智能計算的可解釋、可計算、可進化和人機深度融合問題

2

libo@iscas.ac.cn

15

徐帆江

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

2

張新

zhangxin@iscas.ac.cn

16

竇文生

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

1

竇文生

wensheng@iscas.ac.cn

17

蔡彥

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

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

2

蔡彥

yancai@ios.ac.cn

18

魏峻

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

2

魏峻

weijun@iscas.ac.cn

二、計算機科學與技術博士后流動站

1

王宏安

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

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

2

王宏安

hongan@iscas.ac.cn

2

王文成

侯飛

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

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

2

whn@ios.ac.cn

houfei@ios.ac.cn

3

鄧小明

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

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

1

鄧小明

xiaoming@iscas.ac.cn

4

田豐

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

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

2

田豐

tianfeng@iscas.ac.cn

5

劉立祥

智能信息處理與應用

2

張新

zhangxin@iscas.ac.cn

6

劉芳芳

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

1

劉芳芳

fangfang@iscas.ac.cn

7

孫樂

韓先培

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

2

劉顯文

xianwen@iscas.ac.cn

8

李會元

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

2

李會元

huiyuan@iscasa.c.cn

9

宋富

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

2

宋富

songfu@ios.ac.cn

10

何小偉

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

1

何小偉

xiaowei@iscas.ac.cn

11

陳華

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

1

陳華

chenhua@iscas.ac.cn

12

張立軍

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

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

2

張立軍

zhanglj@ios.ac.cn

13

張文博

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

2

張文博

zhangwenbo@iscas.ac.cn

14

張常有

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

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

2

張常有

changyou@iscas.ac.cn

15

張扶桑

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

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

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

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

張扶桑

fusang@iscas.ac.cn

主頁：

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

16

吳玉泉

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

2

張新

zhangxin@iscas.ac.cn

17

吳志林

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

2

吳志林

wuzl@ios.ac.cn

18

陳海波

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

1

李明煜

limingyu@ios.ac.cn

19

周立

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

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

1

周立

zhouli@ios.ac.cn

20

官極

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

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

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

2

官極

guanj@ios.ac.cn

21

鄭昌文

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

2

張新

zhangxin@iscas.ac.cn

22

徐帆江

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

2

張新

zhangxin@iscas.ac.cn

23

黃濤

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

1

葉丹

yedan@otcaix.iscas.ac.cn

24

黃?進

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

1

黃進

huangjin@iscas.ac.cn

25

曹建文

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

1

吳學凇

xuesong@iscas.ac.cn

26

韓騰

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

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

2

韓騰

hanteng@iscas.ac.cn

27

蔡少偉

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

1

李倩如

liqianru@ios.ac.cn

28

薛白

安全強化學習

1

薛白
xuebai@ios.ac.cn