6月14日上午,耶鲁大学博士、西北大学博士后罗宁来访网络空间安全学院,并作题为《Going From Strength to Strength: Synergizing Formal Methods and Cryptography》的学术报告。报告由学院副院长魏普文教授主持。学院多位教师、相关专业硕博研究生及本科生到场聆听了本次报告。
报告介绍了罗宁博士的最新研究成果——如何将密码学集成到形式化方法,在无需泄露软件源代码的条件下实现软件验证;另一方面,展示了如何将形式化方法应用于密码学,有效降低密码实现复杂度。报告深入浅出,现场气氛活跃,多名师生就零知识证明等相关问题进行提问与讨论。会后,罗宁博士就留学申请等问题进行了经验分享。
罗宁,山东大学2017届信息安全专业毕业生,于2022年12月获得耶鲁大学计算机科学博士学位,现为美国西北大学计算机科学系博士后,将于2024年秋季担任伊利诺伊大学厄巴纳-香槟分校电气与计算机工程系助理教授。曾获得EECS新星(2023年),CCS杰出论文奖(2022年)和罗伯茨创新奖(2023年)。
图文:肖安琪 魏普文
审核:魏普文