2018年8月-2020年7月【实验室开放课题】

序号	申请课题名称	负责人	起止时间
1	量子纠缠的实验探测	魏朝晖	2018年8月-2020年7月
2	概率程序验证算法研究	符鸿飞	2018年8月-2020年7月
3	概率程序的一些符号验证方法	徐鸣	2018年8月-2020年7月
4	基于形式化方法的软件复杂度度量与降解技术	赵涌鑫	2018年8月-2020年7月