郡茉友子，蓮尾一郎らの論文が 35th International Conference on Computer Aided Verification にて “Distinguished paper award” を受賞
受賞者
Mayuko Kori (国立情報学研究所・総合研究大学院大学)
Flavio Ascari (University of Pisa)
Filippo Bonchi (University of Pisa)
Roberto Bruni (University of Pisa)
Roberta Gori (University of Pisa) Ichiro Hasuo (国立情報学研究所)
受賞論文タイトル
Exploiting Adjoints in Property Directed Reachability Analysis
郡茉友子はERATO MMSD プロジェクトのリサーチアシスタント（グループ０）です。彼女は総研大情報学専攻の博士課程に在学中であり，日本学術振興会特別研究員（DC）でもあります．