A类
-
应用程序控制 AppControl：通过基于类型的约束强制应用程序行为
B类
-
爆炸 更好的统计语言
M（M）
-
莫雷洛-HAT Morello-HAT：Morello高级API和工具
P（P）
问
-
基于代数效应的量子编程 通过代数效应进行量子编程：量子编程和概率编程之间的交叉融合
秒
-
星尘 可靠分布式系统的会话类型（STARDUST）
T型
-
塔尔迪斯 边缘系统可信且有弹性的分散智能（TaRDIS）
五
-
VSL-Q公司 大量子系统验证模拟（VSL-Q）
已完成项目
A类
B类
-
双向转换 双向变换的最小变化理论
C类
-
CompGame理论 博弈论经济建模的组合方法
D类
G公司
H（H）
-
高阶约束Horn子句 高阶约束Horn子句：一种验证高阶程序的新方法 -
高阶约束Horn子句 高阶约束Horn子句：一种验证高阶程序的新方法
M（M）
-
元计算 元计算中心
P（P）
R（右）
秒
-
西门子模糊处理项目 使用模糊处理的知识产权保护