プロフィール

JAXA研所属です。研究テーマは形式手法(モデル検査法)や安全分析(STAMP/STPA)です。

略歴

• 2011年4月〜2016年3月：茨城工業高等専門学校 電子情報工学科 (小飼研究室)
• 2016年4月〜2018年3月：筑波大学 情報学群 情報科学類 (OSとシステムソフトウェア研究室)
• 2018年4月〜2020年3月：奈良先端科学技術大学院大学 (超高信頼ソフトウェアシステム検証学研究室(JAXA研)/ソフトウェア設計学研究室)