2021年中國科學院軟件研究所獲得國家自然科學基金資助項目清單
文章來源： | 發布時間：2021-08-18 | 【打印】 【關閉】
查詢日期：2021-08-18
|
序號 |
項目批準號 |
負責人 |
項目名稱 |
項目類別 |
|
1 |
62102404 |
路遠 |
異步區塊鏈拜占庭容錯協議研究 |
青年科學基金項目 |
|
2 |
62102405 |
燕季薇 |
面向移動應用框架下的組件交互質量保障方法研究 |
青年科學基金項目 |
|
3 |
62102406 |
賈相堃 |
面向軟件供應鏈的安全補丁分析技術研究 |
青年科學基金項目 |
|
4 |
62102407 |
李勇 |
Büchi自動機的若干基礎問題研究 |
青年科學基金項目 |
|
5 |
62106251 |
林鴻宇 |
端到端生成式事件抽取關鍵技術研究 |
青年科學基金項目 |
|
6 |
62122077 |
韓先培 |
認知啟發的自然語言理解 |
優秀青年科學基金項目 |
|
7 |
62122078 |
蔡少偉 |
可滿足性問題求解 |
優秀青年科學基金項目 |
|
8 |
62132020 |
張健 |
面向形式化驗證的可信編譯和程序分析 |
重點項目 |
|
9 |
62172394 |
張扶桑 |
基于泛在信號的非接觸智能感知關鍵技術研究 |
面上項目 |
|
10 |
62172395 |
陳華 |
基于門限實現技術的密碼芯片防護方法研究 |
面上項目 |
|
11 |
62172396 |
徐靜 |
開放融合環境下可延展的區塊鏈共識機制研究 |
面上項目 |
|
12 |
62172397 |
黃進 |
多模態情境因素影響的觸控交互計算模型研究 |
面上項目 |
