当研究室ではソフトウェア開発を論理的・数学的にサポートする諸技術の研究を行っています．機械学習の普及，ソフトウェアの大規模化に伴い，信頼できるソフトウェア開発技術の需要が高まっています．ソフトウェアは要求文書に始まり，どのように作るかという設計文書，そしてプログラムコードなどから構成されており，また，これらが相互に関連付けられています．機械学習モデルの利用に関する信頼性保証や機械学習のソフトウェア開発利用を視野に高信頼ソフトウェアの設計の技術について企業，他大学とも連携して研究を行っています． メンバー 教員 教授岡野 浩三
