冨田研究室 - JAIST

English Version

お知らせ / 研究 / 募集 / 教員

お知らせ

• 2023年9月: 研究課題「次世代車載基盤システムのための形式手法と検証ツールの創出」 （研究代表者：青木先生，主たる共同研究者：石井先生＆冨田，期間：2023年10月-2029年3月）が CREST [S5基盤ソフト] に採択されました．
• 2023年4月: 冨田研究室が正式に開設されました．