日本ソフトウェア科学会より日本ソフトウェア科学会第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