受賞（過去5年）
受賞年月日
受賞名
授与機関
2023/04/01
山下記念研究賞
情報処理学会
2026/04/01
ACM SIGPLAN Research Highlights
2026/04/01
ソフトウェア論文賞
日本ソフトウェア科学会