研究者
J-GLOBAL ID：201601013913312218   更新日: 2024年12月25日

山形 賴之

ヤマガタ ヨリユキ | Yamagata Yoriyuki
所属機関・部署：
国立研究開発法人産業技術総合研究所 サイバーフィジカルセキュリティ研究センター

国立研究開発法人産業技術総合研究所 サイバーフィジカルセキュリティ研究センター について


職名： 主任研究員
ホームページURL (2件)： https://yoriyuki.github.io/index-ja.html ,  https://yoriyuki.github.io
研究分野 (3件)： ソフトウェア ,  情報学基礎論 ,  数学基礎
研究キーワード (6件)： サイバーフィジカルシステム ,  ソフトウェア検証 ,  形式手法 ,  アシュアランスケース ,  ソフトウェアサプライチェーン ,  限定算術
競争的資金等の研究課題 (2件)：
  • 2023 - 2026 アシュアランスケース自動合成のためのプログラム可能な記述言語の開発
  • 2014 - 2017 実行時検証とモデル検査の融合によるネットワークソフトウェアの統合実行監視
論文 (30件)：
もっと見る
特許 (1件)：
学歴 (3件)：
  • 1997 - 2002 東京大学 大学院数理科学研究科
  • 1995 - 1997 東京大学 理学部 数学科
  • 1993 - 1995 東京大学 理科I類
学位 (1件)：
  • 博士(数理科学) (東京大学)
経歴 (10件)：
  • 2025/01 - 現在 福井大学 大学院工学研究科 Associate Professor
  • 2018/11 - 2024/12 国立研究開発法人産業技術総合研究所 サイバーフィジカルセキュリティ研究センター 主任研究員
  • 2015/04 - 2018/10 国立研究開発法人産業技術総合研究所 情報技術研究部門 主任研究員
  • 2013/03 - 2015/03 独立行政法人産業技術総合研究所 セキュアシステム研究部門 主任研究員
  • 2012/04 - 2013/02 独立行政法人産業技術総合研究所 セキュアシステム研究部門 研究員
全件表示
所属学会 (6件)：
ソフトウェア科学会 ,  情報処理学会 ,  日本疫学会 ,  科学基礎論学会 ,  応用哲学会 ,  The Association for Symbolic Logic
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM