工学研究科 情報・デザイン工学専攻 島川 昌也 准教授
演習指導内容
過去に輪講などで扱った書籍の一部
当研究室では、セキュアなソフトウェアやプロトコルの開発を支援するための研究をしています。特に、形式手法（フォーマルメソッド、formal methods）と呼ばれる数理論理学やオートマトン理論を基盤とした手法により、ソフトウェアやプロトコルの安全性を厳密に検証することや、安全であることが保証されたソフトウェアのモデルを自動合成することに取り組んでいます。
志願者へのメッセージ
当研究室では、以下のような方を歓迎します。
・当研究室の研究テーマに強い関心がある方
・情報工学に関する基礎的な知識やスキルを身につけている方
・自ら目標に向かって行動できる方
・粘り強く考え抜くことができる方
・当研究室の研究テーマに強い関心がある方
・情報工学に関する基礎的な知識やスキルを身につけている方
・自ら目標に向かって行動できる方
・粘り強く考え抜くことができる方