安全性を仕様とソフトウェアにつなぐ
[情報理工学院／助教]
形式仕様の記述方法と求める性質の検証、プログラムの記述とその正しさの証明を通じて、安全性の要求からプログラムまでをつなぐ技術を研究しています。