著者プロフィール

• 

  石川 冬樹（国立情報学研究所）（イシカワ フユキ）

  　国立情報学研究所 コンテンツ科学研究系 准教授。電気通信大学 情報理工学研究科 客員准教授。博士（東京大学・情報理工学・2007年）。形式手法や最適化技術を中心として、ソフトウェア工学および、自律・スマートシステムのディペンダビリティに関する研究に従事。