職位：准教授

学歴：博士（工学）

学歴：

• 1992年 熊本高等専門学校（旧熊本電波高等専門学校）情報工学科卒業
• 1996年 茨城大学理学部卒業
• 1998年 東北大学大学院 理学研究科（博士課程前期）修了
• 2017年 熊本大学大学院自然科学研究科博士後期課程修了

所属学会：IEEE

現在の専門分野：形式手法

研究テーマ：コンピュータ・システムの設計検証

技術相談・協力ができるテーマ：

• ソフトウェア・ハードウェアの形式検証
• FPGA活用
• 組込みシステム

担当科目：形式手法，システム工学，システムデザイン，工学実験等

研究室情報：ソフトウェアやハードウェアの検証手法として一般的なのはテストですが，テストでは与えた入力パターンに対する結果しか得られません．そこで網羅的な検証を可能とする形式手法が提案されています． 本研究室では形式手法の中でも定理証明の手法に注目しています．定理証明の手法では数学のように“正しく動く”証明を行うことが検証となります．証明はプログラム・コードのように残せるため， ソフト/ハードのコード本体と共に証明書コードを添えて作成することができます．これからの社会ではソフト/ハードがますます身近に活用され，その安全性が問われるはずです．定理証明の手法がその一つの解となりうると考えます． また，それ以外にも，ソフトとハードの両方に関係する分野について，意欲的に取り組んでゆきたいと思います．

教員室：情報工学科棟 3階

くわしくは『西村研究室ホームページ』へ