CRESTプロジェクト

当研究室は JST・CREST の研究課題「次世代車載基盤システムのための形式手法と検証ツールの創出」に参加し,自動運転向け車載基盤システム (とくに制御システム) の検証に取り組んでいます.

期間: 2023〜2028年度 (5.5年間)

参考: https://www.jaist.ac.jp/project/crest_fmap/


研究テーマの例:


大学・産業界から本プロジェクトにご参加いただけるメンバーを募集しています. 石井グループに興味がある方は,下記メールアドレスまでお気軽にお問い合わせください.


研究室の学生指導方針


見学方法

メールアドレス

dsksh at jaist.ac.jp


科目等履修生,研究生等


経済支援等