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

石川 冬樹

国立情報学研究所 アーキテクチャ科学研究系 准教授
先端ソフトウェア工学・国際研究センター センター長

総合研究大学院大学 複合科学研究科 情報学専攻 准教授

電気通信大学 大学院情報理工学研究科 連携准教授

AIプロダクト品質保証コンソーシアム（QA4AI） 運営委員長．
IPSJ/IEEE Computer Society Young Researcher Award 2020受賞．

Trustworthy & Smart Software Engineering Lab.

「スマートなシステム・スマートなディペンダビリティ保証」をビジョンに掲げ，
組織を横断する研究室において以下の研究領域にて活動しています．

ソフトウェア工学，特にディペンダビリティ・トラストのための技術

形式手法（Event-B，VDMなど），テスティング，要求分析，安全性論証

AI for SE：ソフトウェア工学におけるAIの活用

Search-based Software Engineering（テスト自動生成，モデル・プログラムの自動修正，設計・サービスの最適化など），不具合分析・欠陥局所化，大規模言語モデル（LLM）・対話型生成AIシステムのソフトウェア工学における活用

SE for AI：AIのためのソフトウェア工学（AI工学，機械学習工学）

深層学習モデル，自動運転システム，大規模言語モデル（LLM）・対話型生成AIシステム，サービス指向・クラウドシステム，ゲームなどに対するテスト自動生成，設計最適化，不具合分析・欠陥局所化，安全性論証