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

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


©2016 华东师范大学高可信计算重点实验室