上海市高可信计算重点实验室2020年主任基金申请工作正式启动

上海市高可信计算重点实验室为了更好地支持和推动科研工作，进一步加强实验室骨干人才的培养力度，加快年轻教师的成长，聚集和稳定一批优秀青年人才，促进实验室的发展与建设，特设立实验室主任基金，鼓励实验室固定人员利用现有平台，开展与实验室研究方向相关的基础和应用研究。

2020年主任基金申请工作正式启动，课题和经费管理使用参见《上海市高可信计算重点实验室主任基金管理办法》。

1、申请对象：本实验室固定人员。

2、资助领域：本实验室主任基金的资助领域包括但不限于以下方向。

（1）可信软件理论与技术

• 可信软件构造理论

• 形式化方法

• 可信软件工程开发方法

• 新型计算模型

（2）密码与网络空间安全

• 密码学

• 云计算安全

• 网络空间安全

（3）可信智能系统

• 可信人工智能技术

• 可信大数据

3、申请时间：截止至2020年4月15日。课题经实验室学术委员会审查，管理委员会批准，评审结果将于4月底通知申请者本人。

4、申请要求：申请者须填写《上海市高可信计算重点实验室主任基金申请书》（可点击下载），申请书纸质版（一式两份）交至：华东师范大学理科大楼B209。申请书电子版发至： wfzhang@sei.ecnu.edu.cn。

5、联系人： 张炜帆，电话：021-62232979，传真：021-62232184，

联系邮箱：wfzhang@sei.ecnu.edu.cn，

联系地址：上海市中山北路3663号华东师范大学理科大楼B209