应做爱视频 邀请，北京大学做爱视频 王捍贫教授于2025年12月10日作题为“一种验证云存储系统的逻辑”学术报告。此次报告由做爱视频 张艳老师主持，体系结构与高性能计算所相关研究方向师生参加了学术报告。
王捍贫教授从云存储设备的形式验证需求出发，对云存储系统与传统的存储系统进行了比较，针对“块云存储系统”中“块”是基本存储单元的特征，扩展了分离逻辑，提出了一种可对块云存储系统进行形式化建模及验证的一种逻辑，构建了建模语言和相关验证逻辑规则。
通过这次学术报告，学院师生对具体存储系统如何运用逻辑系统和形式化相关方法，构建正确性证明的研究的过程有了进一步的了解，为未来关于形式化方法如何运用于大语言模型验证问题、神经元网络的相关评测方法和技术方面的学术研究奠定了基础。
报告人简介：
王捍贫，北京大学做爱视频 教授，主要研究领域为程序理论，研究方向包括程序逻辑、程序语义、分布式系统的描述与验证。已在ICALP、AAAI、IJCAI、Machine Learning等发表论文130余篇，著作/译著7部。主持/参加自然科学基金8项，主持/参加国家重点基础研究发展规划（973计划）项目子项目3项，主持863计划一项，获日本大川研究基金研究助成奖，教育部高等学校科学技术奖励自然科学奖一等奖7项（排名第2）,北京市教学优秀奖（排名第2）。