基本情報

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

J-GLOBAL ID
201701018164345367
researchmap会員ID
B000273631

English version of this page.


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


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

  5

主要な受賞

  4

主要なメディア報道

  9

主要な論文

  16

産業財産権

  1

書籍等出版物

  1

主要な講演・口頭発表等

  8

主要な学術貢献活動

  17

Works(作品等)

  2

MISC

  4