佐藤亮介准教授が「ETAPS 2025 Distinguished Paper Award」を受賞

• 
• ツイート
• 

2025年5月9日

総合情報メディアセンターの佐藤亮介准教授が、2025年5月8日に「ETAPS 2025 Distinguished Paper Award」を受賞しました。

■受賞名

ETAPS 2025 Distinguished Paper Award

■受賞概要

?受賞題目
On the Relationship between Dijkstra Monads and Higher-Order Fixpoint Logic

?賞の概要
ソフトウェアの理論と実践に関する国際合同会議ETAPS2025において、優れた発表を行った者に授与される。

ETAPS2025（別ウィンドウで開きます）