• 学校首页
  • 办公信息
  • 邮箱
  • 网站后台
  • English
首页 > 学院新闻 > 正文

耶鲁大学罗宁博士访问我院并作学术报告

发布日期:2024/06/18 点击量:

6月14日上午,耶鲁大学博士、西北大学博士后罗宁来访网络空间安全学院,并作题为《Going From Strength to Strength: Synergizing Formal Methods and Cryptography》的学术报告。报告由学院副院长魏普文教授主持。学院多位教师、相关专业硕博研究生及本科生到场聆听了本次报告。



报告介绍了罗宁博士的最新研究成果——如何将密码学集成到形式化方法,在无需泄露软件源代码的条件下实现软件验证;另一方面,展示了如何将形式化方法应用于密码学,有效降低密码实现复杂度。报告深入浅出,现场气氛活跃,多名师生就零知识证明等相关问题进行提问与讨论。会后,罗宁博士就留学申请等问题进行了经验分享。

罗宁,山东大学2017届信息安全专业毕业生,于2022年12月获得耶鲁大学计算机科学博士学位,现为美国西北大学计算机科学系博士后,将于2024年秋季担任伊利诺伊大学厄巴纳-香槟分校电气与计算机工程系助理教授。曾获得EECS新星(2023年),CCS杰出论文奖(2022年)和罗伯茨创新奖(2023年)。



图文:肖安琪 魏普文

审核:魏普文


联系我们

地址:山东省青岛市即墨区滨海路72号山东大学青岛校区淦昌苑D座邮编:266237

邮箱:cst@sdu.edu.cn电话:(86)-532-58638601传真:(86)-532-58638633

版权所有 Copyright © 山东大学网络空间安全学院