序号

项目批准号

负责人

项目名称

项目类别

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

黄进

多模态情境因素影响的触控交互计算模型研究

面上项目