设为首页
|
加入收藏
首页
实验室简介
科研队伍
研究成果
学术交流
研究方向
联系我们
开放课题
您现在的位置:
首页
开放课题
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 华东师范大学高可信计算重点实验室