履歴書
学歴
- 1993年4月 東京大学理科一類 入学
- 1997年3月 東京大学理学部数学科 卒業
- 1997年4月 東京大学大学院数理科学研究科数理科学専攻博士前期課程 入学
- 1999年3月 同上 修了
- 1999年4月 東京大学大学院数理科学研究科数理科学専攻博士後期課程 入学
- 2002年3月 同上 修了、博士（数理科学、東京大学）取得
職歴
- 2004年8月-2005年3月 独立行政法人産業技術総合研究所システム検証研究センー特別研究員(任期付き)
- 2005年4月-2007年8月まで 独立行政法人産業技術総合研究所システム検証研究センター研究員(任期付き)
- 2007年9月-2010年3月まで 独立行政法人産業技術総合研究所システム検証研究センター研究員
- 2010年4月-2012年3月まで 独立行政法人産業技術総合研究所組み込みシステム連携研究体研究員
- 2012年4月-2015年3月 独立行政法人産業技術総合研究所セキュアシステム研究部門主任研究員 (2014年4月から国立研究開発法人へ移行)
- 2015年4月-2018年10月 国立研究開発法人産業技術総合研究所情報技術研究部門主任研究員
- 2018年11月-2024年12月 国立研究開発法人産業技術総合研究所サイバーフィジカルセキュリティ研究センター主任研究員
- 2025年1月- 国立大学法人 福井大学学術研究院工学系部門准教授
任期付きと付記していない場合は任期の定めのない職です。