日本ソフトウェア科学会より研究論文賞を受賞しました。(情報システム学専攻 中澤 巧爾 准教授)
- 受賞日：2026-09-10
- 受賞名：研究論文賞
- 主催団体：日本ソフトウェア科学会
- 受賞者の氏名、所属、職名（学年）：
中澤 巧爾 (情報システム学専攻 准教授)
- 連名者：
Daisuke Kimura, Makoto Tatsuta, Mahmudul Faisal Al Ameen, Mirai Ikebuchi, Koji Nakazawa
- 受賞対象となった研究のテーマ：
Bi-Abduction in Separation Logic for Program Analysis
- 受賞概要：
「コンピュータ・ソフトウェア」誌Vol.41に掲載された論文が、日本ソフトウェア科学会の第30回研究論文賞を受賞した．
- URL：
https://www.jssst.or.jp/award/detail/ronbunsho_list.html