ニュース / News

受賞

郡 茉友子さん(NIIリサーチ・アシスタント/総研大情報学コース、蓮尾研究室)、蓮尾 一郎教授(アーキテクチャ科学研究系)らの論文が国際会議CAV 2023のCAV Distinguished Paper Awardを受賞

国際会議の名称

CAV 2023 - 35th International Conference on Computer Aided Verification

賞の名称

CAV Distinguished Paper Award

受賞対象の論文

Exploiting Adjoints in Property Directed Reachability Analysis

受賞者

郡 茉友子(NIIリサーチ・アシスタント/総研大情報学コース 蓮尾研究室)
Flavio Ascari(ピサ大学)
Filippo Bonchi(ピサ大学)
Roberto Bruni(ピサ大学)
Roberta Gori(ピサ大学)
蓮尾 一郎(国立情報学研究所)

受賞発表日

2023年7月21日

関連リンク
5917

注目コンテンツ / SPECIAL