AIによる要約

青木利晃教授は、ソフトウェア工学の専門家として形式手法・形式検証を用い、安全で信頼性の高いソフトウェアの開発に取り組んでいます。自動運転やAIなど複雑化するシステムに対して、企業との共同研究を通じて理論と実践のギャップを埋めています。特にAI関連システムの安全性保障を重視し、科学的根拠に基づいてソフトウェアのトラブル防止を目指しています。

※この要約文は、フクロウナビ編集部がAIを用いて独自に作成したものです。

※AIによる自動生成のため、実際の記事の内容とは事実関係が異なっている場合がございます。引用等で使用される際は、必ず記事本文をご確認ください。