石川 冬樹 / NII石川研究室 English >

dummy

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

国立情報学研究所 コンテンツ科学系 准教授

Trustworthy & Smart Software Engineering

賢く頼れる次世代の新しいソフトウェアのあり方を追求するとともに,その開発・運用・進化のための技術に取り組んでいます.

特に仕様,契約,SLA,法律・規約,ポリシーなどの「約束」をモデル化し,人あるいはソフトウェア自身により開発時・実行時に活用することに興味を持っています.

分野としてはソフトウェア工学,特に形式手法分野,サービス指向コンピューティング分野が中心となりますが,分野・コミュニティに閉じずに幅広い活動を行っています.

複数組織にまたがる研究グループを形成し,海外との連携・企業との連携も盛んに行っています.

代表的な活動

以下は簡単な言い回しでの要約です.テーマもご参照下さい.

ニュース(最近半年分)

研究テーマ

形式手法,サービス指向コンピューティングを特に中心としたソフトウェア工学分野において,様々な研究トピックに取り組んでいます.

研究室

様々な組織に属する研究員,大学院生,海外インターン学生からなる研究グループを形成し,活発な活動を行っています.

活発な研究活動

関連分野での代表的な国際会議・ジャーナルにおいて盛んな成果発表を行っています.また国内外での様々なコミュニティ活動にも取り組んでいます.

大学院・産業界での教育

複数大学院にて形式手法やクラウドに関する先端講義を担当し,トップエスイーでの活動を中心に産業界に向けた活動にも取り組んでいます.

連絡先

f-ishikawa < a > nii.ac.jp