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