-
国立情報学研究所
アーキテクチャ科学研究系
教授
（総合研究大学院大学兼担） -
JST ERATO 蓮尾メタ数理システムデザインプロジェクト
研究総括 - 株式会社イミロン 取締役・創業者
- （料理をしていない）写真
- 研究室のページ
What's new
- FM 2026 での招待講演 "Cutting out FM Angles from the Jungle of Automated Driving"，スライド
- SAKURA Final Eventでの講演「自動運転の安全性説明へ――安全性評価のための数学・論理学的技術」， スライド
- 研究員・特任教員・大学院生・インターンを募集しています．詳細はこちら
- 大学発スタートアップでもエンジニアを募集しています．詳細はこちら
- 2025/02/23 湘南会議 記念講演会のスライドはこちら．そしてビデオはこちら