TOP > 新着情報 > 日本ソフトウェア科学会より日本ソフトウェア科学会第39回大会 学生奨励賞・優秀発表賞を受賞しました。(情報システム学専攻 Lee Yeonseok M2)

日本ソフトウェア科学会より日本ソフトウェア科学会第39回大会 学生奨励賞・優秀発表賞を受賞しました。(情報システム学専攻 Lee Yeonseok M2)

  1. 受賞日：2022-09-14
  2. 受賞名：日本ソフトウェア科学会第39回大会 学生奨励賞・優秀発表賞
  3. 主催団体：日本ソフトウェア科学会
  4. 受賞者の氏名、所属、職名（学年）：
    Lee Yeonseok
    (情報システム学専攻 M2)
  5. 受賞対象となった研究のテーマ：
    Decidable entailment checking for concurrent separation logic with fractional permissions
  6. 受賞概要：
    日本ソフトウェア科学会第39回大会における以下の研究発表が，学生奨励賞，および，優秀発表賞を受賞した。
    Yeonseok Lee, Koji Nakazawa 「Decidable entailment checking for concurrent separation logic with fractional permissions
  7. URL：
    https://jssst2022.wordpress.com/

 

PAGE TOP