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

dummy

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

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

電気通信大学 大学院情報学専攻 客員准教授

Institut National Polytechnique de Toulouse(フランス) 客員教授

Trustworthy & Smart Software Engineering

「スマートなシステム・スマートなディペンダビリティ保証」をキャッチフレーズとして研究・教育活動を行っています.

特に,要求仕様,契約,SLA,法律・規約,ポリシーなどの「約束」に関するモデリングに興味を持っています.モデルの記述や抽象化・詳細化,検証,推論,最適化のための技術,そしてその開発時・実行時における活用を追求しています.

形式手法を中心としたソフトウェア工学分野,および自律・スマートシステムに関する技術分野を中心とし,コミュニティに閉じずに幅広い活動を行っています.

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

ニュース

最近の代表的な活動

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

リファインメント・エンジニアリング: 保証付き多段階システムモデルの柔軟な構築支援
REFENGプロジェクト: 科研費若手A・基盤B,ABZ'14,IEICE'16,ER'16,FM'16
Cyber-Physical Systems (CPS)における離散・連続融合モデルのための形式検証・テスティング
ERATO-MMSD Project インテリジェンス協働形式手法 グループ
人の理解・妥当性確認のための具体例(テストケース)生成
IPA-RISE・JSTMプロジェクト: ICFEM'16
形式手法やテスト,要求分析などに関する産業界教育・応用研究
トップエスイープログラム・企業共同研究: FM'15,FMSEET'15
サービス合成・クラウド管理における品質の最適化および自己適応
PerQASプロジェクト: ICWS'11,WWW'12,TSE'14,TSE'16,TPDS'17
アプリストアのエコシステム
UCLとの共同研究: TSC'15, TEVC'16
スマートシティ,Internet of Things(IoT),クラウドにおける検証および自己適応
FP7/NICT EU-Japan・H2020/NICT EU-Japan ClouTプロジェクトBigClouTプロジェクト
代表的な国際会議での委員活動
FM, ICFEM, ICSOC, SCC, WIでのプログラム委員など

研究テーマ

形式手法を中心としたソフトウェア工学分野,自律・スマートシステムに関する技術分野を中心とし,様々な研究トピックに取り組んでいます.

研究室

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

活発な研究活動

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

大学院・産業界での教育

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

連絡先

f-ishikawa < a > nii.ac.jp