Profile Information

Degree
Ph.D. (The University of Tokyo)(Nov, 2000 The University of Tokyo)

J-GLOBAL ID
200901030798025427

External link

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

Research History

  7

Professional Memberships

  1

Misc.

  9

Books and Other Publications

  17

Presentations

  75

Major Papers

  113

Social Activities

  5

Media Coverage

  2