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

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

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

图文：肖安琪 魏普文

审核：魏普文