日本ソフトウェア科学会より研究論文賞を受賞しました。(情報システム学専攻 中澤巧爾 准教授)
- 受賞日：2022-09-02
- 受賞名：研究論文賞
- 主催団体：日本ソフトウェア科学会
- 受賞者の氏名、所属、職名（学年）：
中澤巧爾 (情報システム学専攻 准教授)
- 共同受賞者：
龍田真（NII，教授）
木村大輔（東邦大，講師）
山村暢（名古屋大学情報学部CS学科，B4（研究当時）） - 受賞概要：
日本ソフトウェア科学会の学会誌「コンピュータ・ソフトウェア」に採録された論文「Spatial factorization in cyclic-proof system for separation logic」が日本ソフトウェア科学会第26回研究論文賞を受賞した．
- URL：
https://www.jssst.or.jp/award/detail/ronbunsho_list.html
