基本情報

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

J-GLOBAL ID
201901021262256572
researchmap会員ID
B000362139

研究キーワード

  5

主要な論文

  159

MISC

  26

書籍等出版物

  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日
  • 企画立案・運営等
    電子情報通信学会ソフトウェアサイエンス研究会 2014年5月 - 2016年5月
  • 企画立案・運営等
    Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi (Kanazawa) 2014年4月14日 - 2014年4月16日
  • 企画立案・運営等
    IEICE Transaction on Information and Systems 2013年6月 - 2013年6月
  • 企画立案・運営等
    14th International Conference on Formatl Engineering Methods 2012年11月12日 - 2012年11月16日
  • その他
    IEICE Transaction on Information and Systems 2007年 - 2011年
  • その他
    JAIST Advanced School of Formal Specification and Systems Verification (JAIST-FSSV2010) 2010年3月1日 - 2010年3月5日
  • その他
    Sinaia School of Formal Verification of Software Systems 2008年3月3日 - 2008年3月10日
  • 幹事 
    企画立案・運営等
    電子情報通信学会ソフトウェアサイエンス研究会 1999年5月 - 2001年5月