Ishikawa Lab. English >

dummy

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

国立情報学研究所 アーキテクチャ科学研究系 准教授

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

Trustworthy & Smart Software Engineering

「スマートなシステム・スマートなディペンダビリティ保証」をキャッチフレーズとして,ソフトウェア工学分野および自律・スマートシステム分野において幅広い活動を行っています.

先端応用システムも見据え,要求や仕様、設計に関する様々なモデルを活用した検証・推論・最適化・自動テスト生成・自己適応などの技術に取り組んでいます.

現在は特に,形式手法や自動テスト生成の技術を発展させ,サイバーフィジカルシステムや機械学習システムにおけるディペンダビリティ向上・保証を行う技術に焦点をおいて取り組んでいます.

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

東大・東工大クラウド講義資料

ニュース(約半年分)

最近の主な活動

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

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

研究テーマ

ソフトウェア工学分野,自律・スマートシステム分野において,ディペンダビリティに関する技術を中心として幅広いテーマに取り組んでいます.

研究室

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

活発な研究活動

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

大学院・産業界での教育

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

連絡先

f-ishikawa < a > nii.ac.jp