私たちの研究
松野研究室では、ソフトウェア工学、信頼性、セキュリティを軸に、次世代を支える安全なシステム構築と実践的なAI活用を探求しています。
01 ソフトウェア アプリやWebサービスを作る流れを学び、より良い開発の進め方を考える分野です。3年ゼミや開発ゼミでも、チーム開発やアプリ制作を通して扱っています。 詳細を見る 02 信頼性 システムが本当に安全で信頼できると言える理由を、根拠と一緒に整理する分野です。4年ゼミ・修士課程ゼミでは、自動運転や安全論証などのテーマとして扱います。 詳細を見る 03 セキュリティ ソースコードの無いバイナリ、TEE上のアプリ、メール送信インフラを対象に、弱点をどう見つけるか、その判定をどこまで信頼できるかを調べる分野です。LLMを使った解析と、インターネット規模の実測の両方に取り組んでいます。 詳細を見る 04 ファッションAI 人の見た目の印象をAIで整理し、ファッション診断や似合うスタイルの提案を支援する分野です。主観に頼りがちな診断を、根拠と一緒に説明できる形で補助することを目指しています。 詳細を見る 05 共同研究 企業や他機関、地域と連携し、実際の課題をテーマに取り組む分野です。教育支援、AI活用、防災など、社会で役立つ仕組みづくりを共同で進めています。 詳細を見る