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