中島　震（なかじま　しん）
1981 年　東京大学大学院理学系研究科修士課程 修了
現　在　　国立情報学研究所 教授・総合研究大学院大学 教授・東京工業大学大学院 連携教授　学術博士
　　　　　この間、科学技術振興機構さきがけ研究員（兼任）、北陸先端科学技術大学院大学 客員教授を歴任。
　　　　　形式手法、自動検証、ソフトウェア・モデリングなどの研究に従事。

來間　啓伸（くるま　ひろのぶ）
1983 年　広島大学大学院理学研究科博士課程前期 修了
1984 年　株式会社日立製作所
2006 年　総合研究大学院大学複合科学研究科 修了　博士（学術）
2007 年 10 月～ 2014 年 9 月　国立情報学研究所 特任教授
現　在　　株式会社日立製作所　横浜研究所 研究員
　　　　　形式手法、ソフトウェア工学の研究に従事。