- 上海市高可信计算重点实验室召开第四届学术委员会第五次会议 [2022-12-09]
- 喜报！陈志立教授入围2022年度中国人工智能学会-华为MindSpore学... [2022-11-07]
- 张民与刘静教授团队提出一种可证明最优的面向Sigmoid类激活函数... [2022-10-20]
- 周俊副教授团队在SCI一区期刊IEEE TITS发表高水平学术论文 [2022-10-20]
- 科研成果速递！上海市高可信计算重点实验室杜德慧教授团队两项科... [2022-10-20]
- 李钦副教授成果获SEKE2022国际会议最佳论文奖 [2022-07-01]
- 2016-12-28 全国可信软件工程中的逻辑方法研讨会在我校召开 [2021-07-30]
- 上海市高可信计算重点实验室召开第四届学术委员会第三次会议 [2020-12-03]
- 上海市高可信计算重点实验室2020年主任基金申请工作正式启动 [2020-03-24]
- 上海市高可信计算重点实验室2020年开放课题申请工作正式启动 [2020-03-24]
- 张新宇副教授率领科研团队在阿拉善荒漠无人区测试“种树机器人” [2019-09-18]
- 华东师大-华为技术有限公司【可信软件】联合研讨会顺利召开 [2019-07-26]
- 全国青少年高校科学营营员走进【上海市高可信计算重点实验室】 [2019-07-09]
- 华东师大与华为签订《全面建立战略合作》协议 [2019-07-04]
©2016 华东师范大学高可信计算重点实验室