このページの先頭です

メニューを飛ばして本文を読む

ここから本文です

受賞・表彰

高橋宏夢さん(情報学専攻博士前期2年)が第17回情報科学技術フォーラムにてFIT奨励賞を受賞

2018年10月12日

高橋宏夢さん(情報学専攻博士前期2年)が、2018年9月19日~21日にかけて開催された第17回情報科学技術フォーラムにおいて、FIT奨励賞を受賞しました。

【受賞者】
高橋宏夢
【発表タイトル】
形式手法 B Method の細粒度部品の結合による高信頼ソフトウェアの合成

表彰状