來間 啓伸

1981年 広島大学理学部物理学科 卒業
1984年 同大学院理学研究科博士課程後期物理学専攻 中退
2006年 総合研究大学院大学複合科学研究科情報学専攻 修了　博士（学術）
1984年 株式会社日立製作所入社，2018年定年退職後，再雇用により現在に至る
ソフトウェアのテスト・検証技術の研究に従事

形式手法（Bメソッド，Event-B）

中島震監修，來間啓伸著：Bメソッドによる形式仕様記述，近代科学社，中島震・來間啓伸共著
Event-B – リファインメント・モデリングに基づく形式手法，近代科学社

実世界の不確かさに適応するシステムのモデル化と検証に興味を持っています。
現在は，機械学習を使った機能的な開発法と形式手法を使った演繹的な開発法の結合の研究をしています。