情報処理学会よりコンピュータサイエンス領域奨励賞を受賞しました。(情報システム学専攻 李 淵錫 D3)

Lee Yeonseok, Koji Nakazawa "Incorrectness Separation Logic with Arrays and Pointer Arithmetic"

上記論文に関して口頭発表した内容が、コンピュータサイエンス領域奨励賞に選出された。