Profile Information

Affiliation
(Professor Emeritus), National Institute of Informatics
Degree
Ph.D.(Nov, 2000, The University of Tokyo)

ORCID ID
 https://orcid.org/0000-0002-3827-3165
researchmap Member ID
5000034850

External link

Software Engineering for Dependable Systems and Machine Learning Software Systems; Formal Methods including Formal Specification Languages and Logic Model-Checking, Software Testing.


Research History

  18

Professional Memberships

  1

Major Misc.

  81

Major Books and Other Publications

  19

Major Presentations

  79

Major Papers

  122

Major Social Activities

  5

Major Media Coverage

  2