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

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

本实验室固定人员。

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

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

可信软件构造理论

形式化方法

可信软件工程开发方法

新型计算模型

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

密码学

云计算安全

网络空间安全

（3）可信智能系统

可信人工智能技术

可信大数据

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

申请者须填写《上海市高可信计算重点实验室主任基金申请书》，申请书纸质版（一式两份）交至：bat365在线中国登录入口理科大楼B209。申请书电子版发至：wfzhang@sei.ecnu.edu.cn。

联系人：张炜帆

电话：021-62232979

传真：021-62232184

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

联系地址：上海市中山北路3663号bat365在线中国登录入口理科大楼B209（邮政编码：200062）

点击下载：附件：bat365在线中国登录入口科研创新基金项目申请书（申请主任基金填写）