Researcher Number |
80749226
|
Other IDs |
|
Affiliation (Current) |
2023: 北陸先端科学技術大学院大学, 情報社会基盤研究センター, 准教授
|
Affiliation (based on the past Project Information) *help |
2019 – 2021: 北陸先端科学技術大学院大学, 情報社会基盤研究センター, 講師
2017 – 2018: 北陸先端科学技術大学院大学, 情報社会基盤研究センター, 助教
|
Review Section/Research Field |
- Principal Investigator
-
Computer system /
Software /
Basic Section 60050:Software-related
|
Keywords |
- Principal Investigator
-
ソフトウェア工学 / 形式手法 / ソフトウェア検証 / 協調的リアクティブシステム / 実現可能性 / 自動合成 / 協調的リテクティブシステム / 確率・統計 / モデルベース開発 / 電子制御モデル
|