Avatar

辻 光顕

博士前期課程

プロフィール

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

略歴

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

興味・関心

  • ゲーム(FPS/TPS)
  • お酒を飲む