シリーズ監修者

本位田　真一（ほんいでん　しんいち）
1978 年　早稲田大学大学院理工学研究科博士前期課程修了
1978 年　株式会社東芝
国立情報学研究所教授・東京大学大学院情報理工学系研究科教授　工学博士


監修者・著者紹介（※は監修者）

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

来間　啓伸（くるま　ひろのぶ）
1983年　広島大学大学院理学研究科博士課程前期修了
1984年　株式会社日立製作所
2006年　総合研究大学院大学複合科学研究科修了　博士（学術）
株式会社日立製作所システム開発研究所・国立情報学研究所特任教授、ソフトウェア工学の研究に従事。
形式手法、コンピュータ・セキュリティ、自律分散システムに興味を持つ。