The 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025)において「A Primal-Dual Perspective on Program Verification Algorithms」と題した論文発表に対し、海野広志教授（ソフトウェア構成研究室）がDistinguished Paper Awardを受賞しました。

詳細URL:https://popl25.sigplan.org/

お問合わせ先

東北大学電気通信研究所
計算システム基盤研究部門
ソフトウェア構成研究室
（教授）海野　広志
E-mail: hiroshi.unno[at]acm.org ([at]を＠に変えてください)