石川 冬樹

【担当講義】
形式仕様記述（基礎・VDM編），形式仕様記述（実践編）,分散処理システム基礎とクラウドでの活用,基礎理論,ソフトウェア工学入門

【所属・役職】
国立情報学研究所 コンテンツ科学研究系 准教授

【研究分野】
ソフトウェア工学（特に形式仕様記述におけるリファインメントやコード生成支援），サービスコンピューティング・SOA（Web・クラウド・実世界におけるサービス連携）

【ひとこと】
形式手法・形式仕様記述の基本的な考え方を知ってもらう，ということに留まらず，実際に活用するための課題について一緒に議論するのを楽しみにしております．