山形 賴之

リンク

経歴

• 2025年1月 – 現在福井大学 学術研究院工学系部門 准教授
• 2018年11月 – 2024年12月産業技術総合研究所 サイバーフィジカルセキュリティ研究センター 主任研究員
• 2015年4月 – 2018年10月産業技術総合研究所 情報技術研究部門 主任研究員
• 2013年3月 – 2015年3月産業技術総合研究所 セキュアシステム研究部門 主任研究員
• 2012年4月 – 2013年2月産業技術総合研究所 セキュアシステム研究部門 研究員
• 2010年4月 – 2012年3月産業技術総合研究所 組込みシステム技術連携研究体 研究員
• 2008年4月 – 2010年3月産業技術総合研究所 システム検証研究センター 研究員
• 2005年4月 – 2008年3月産業技術総合研究所 システム検証研究センター 任期付研究員
• 2004年8月 – 2005年3月産業技術総合研究所 システム検証研究センター 特別研究員
• 2002年9月 – 2003年3月東京都立大学 理学部数学科 非常勤講師

産総研在籍時には、企業や公的機関と、形式手法による検証やセキュリティの研究で連携してきました（例：株式会社イシダ、キャッツ株式会社、株式会社エルイーテック（記事）、福岡県産業・科学技術振興財団）。

学歴

• 1997年4月 – 2002年3月東京大学 大学院数理科学研究科（博士課程）
• 1995年4月 – 1997年3月東京大学 理学部 数学科
• 1993年4月 – 1995年3月東京大学 理科I類

所属学会

スキル

プログラミング言語

OS・フレームワーク

語学

趣味

趣味はピアノ（クラシックのほか、『ヴァイオレット・エヴァーガーデン』など映画・アニメのサントラも演奏。なお練習していない曲はすぐに弾けなくなるので、いきなり弾けと言われても弾けません）と読書（哲学書・歴史書・ノンフィクション・小説・漫画）・アニメを見ることです。