日本ソフトウェア科学会より研究論文賞を受賞しました。(情報システム学専攻 中澤巧爾 准教授)


  1. 受賞日:2022-09-02
  2. 受賞名:研究論文賞
  3. 主催団体:日本ソフトウェア科学会
  4. 受賞者の氏名、所属、職名(学年):
    中澤巧爾 (情報システム学専攻 准教授)
  5. 共同受賞者:

    龍田真(NII,教授)
    木村大輔(東邦大,講師)
    山村暢(名古屋大学情報学部CS学科,B4(研究当時))

  6. 受賞概要:

    日本ソフトウェア科学会の学会誌「コンピュータ・ソフトウェア」に採録された論文「Spatial factorization in cyclic-proof system for separation logic」が日本ソフトウェア科学会第26回研究論文賞を受賞した.

  7. URL:
    https://www.jssst.or.jp/award/detail/ronbunsho_list.html

未分類受賞報告, 情報システム学専攻

Posted by Koji Nakazawa