研究テーマ

本ページでは研究テーマと様々なプロジェクトの概要（企業共同研究も含む）を紹介しています．

最近の自動運転やAIシステムに関する研究は非常に速く動いており更新できていません。記事・講演の一覧をご参照下さい。

Trustworthy and Smart Software Engineering

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

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

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

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

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

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

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