田辺 良則

【担当講義】
 設計モデル検証（基礎編）、実装モデル検証、クラウド入門、基礎理論

【所属・役職】
国立情報学研究所 特任教授

【研究分野】
ソフトウェア検証、モデル検査、様相論理

【ひとこと】
モデル検査は、ツボにはまるとたいへん強力なツールです。 私は10年間ほどソフトウェア開発業界で働いた後、研究職にうつった者ですが、開発をしていた頃にモデル検査を知っていたら、あの不可解なバグの再現テストに何昼夜も費やすことはなかっただろうに、と今では思います。 誰もが簡単にどの問題にも適用できる、という技術ではないだけに、トップレベルエスイーとしての皆様の能力を存分に発揮できます。