基本情報

所属
北陸先端科学技術大学院大学
学位
慶應義塾大学工学士 (1990),慶應義塾大学工学修士 (1992),慶應義塾大学博士(工学) (1995)

J-GLOBAL ID
201901021262256572

研究キーワード

  5

主要な論文

  155

MISC

  25

書籍等出版物

  3

講演・口頭発表等

  14

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

  13

学術貢献活動

  13
  • 査読
    Frontiers in Computer Science 2020年7月 - 現在
  • 企画立案・運営等
    32nd International Conference on Software Engineering & Knowledge Engineering 2020年7月9日 - 2020年7月19日
  • 企画立案・運営等
    Fifith IEEE International Conference on Dependable Systems and Their Applications (Dalian, China) 2018年9月22日 - 2018年9月23日
  • 企画立案・運営等
    電子情報通信学会ソフトウェアサイエンス研究会 2016年5月 - 2018年5月
  • 企画立案・運営等
    18th International Conference on Formal Engineering Methods (TKP Conference Centre, Tokyo, Japan) 2016年11月14日 - 2016年11月18日