基本情報

所属
宇宙航空研究開発機構 (JAXA) 研究開発部門 研究開発員
学位
博士(情報理工学)(東京大学)

J-GLOBAL ID
201701018164345367
researchmap会員ID
B000273631

English version of this page.


ソフトウェアシステムを定理証明手法を用いて形式的にモデリング・検証することを中心に、ソフトウェア工学の研究を行っています。日本語での研究紹介としては、日本ロボット学会誌に掲載されている解説記事をご覧ください。
https://doi.org/10.7210/jrsj.40.203


主要な受賞

  4

主要な論文

  24

主要なメディア報道

  9

共同研究・競争的資金等の研究課題

  6

産業財産権

  2

書籍等出版物

  1

主要な講演・口頭発表等

  9

主要な学術貢献活動

  17

Works(作品等)

  2

MISC

  4