HOME >  インフォメーション >  2012/12/18

インフォメーション

2012/12/18

住井英二郎准教授が第9回日本学術振興会賞を受賞(12月17日)

住井英二郎准教授が、第9回(平成24年度)日本学術振興会賞を受賞しました。
受賞理由及び詳細は、下記の通りです。

授賞理由:「環境双模倣によるプログラム等価性証明手法」
       (Proof Method of Program Equivalence by Environmental Bisimulation)

受賞の詳細
第9回(平成24年度)日本学術振興会賞の受賞者決定について

東北大学 電気・情報系
〒980-8579 仙台市青葉区荒巻字青葉 6-6-05
TEL : 022-795-7186(教務係)
Email :

mail