中島 震

(なかじま しん)


1981年 東京大学大学院理学系研究科修士課程了. 
学術博士(東京大学). 
現在, 情報・システム研究機構国立情報学研究所・教授(総合研究大学院大学複合科学研究科兼担).
形式手法,モデリングなど,ディペンダブル・ソフトウェア工学の研究に従事.

執筆箇所:

  ・7群1編 ソフトウェア基礎