石川 冬樹 & 石川研究室のWebサイト

国立情報学研究所 アーキテクチャ科学研究系 准教授
先端ソフトウェア工学・国際研究センター 副センター長
電気通信大学 大学院情報理工学研究科 連携准教授
Trustworthy & Smart Software Engineering
「スマートなシステム・スマートなディペンダビリティ保証」をキャッチフレーズとして,ソフトウェア工学分野および自律・スマートシステム分野において幅広い活動を行っています.
先端応用システムも見据え,要求や仕様、設計に関する様々なモデルを活用した検証・推論・最適化・自動テスト生成・自己適応などの技術に取り組んでいます.
現在は特に,形式手法や自動テスト生成の技術を発展させ,自動運転システムなど,サイバーフィジカルシステムや人工知能・機械学習システムにおけるディペンダビリティ向上・保証を行う技術に焦点をおいて取り組んでいます.
複数組織にまたがる研究グループを形成し,海外機関との連携や,企業との連携も盛んに行っています.