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

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

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

PAGE TOP