石川 冬樹

アカデミックな研究所の研究者としての仕事をしつつ，様々な場で産業界の方々（研究者だけでなく実務者も）に貢献できるように頑張っています。今は特に，日本ソフトウェア科学会機械学習工学研究会や，AIプロダクト品質保証コンソーシアムでの活動など，機械学習工学関連でのコミュニティ活動も活発にしています。

ソフトウェア工学，特にディペンダビリティのために多様な技術を用いています（形式手法，テスティング，進化計算，機械学習）など。機械学習工学は当然として，自動運転など先端システムを特に対象としています。

論文・著書・解説については、こちらをご参照ください。

本プロジェクトが対象とする機械学習工学は当然として，AIによるテスティングなど，やり過ぎなくらいいろいろなことをやろうとしています。