Profile Information

Affiliation
Researcher, Research and Development Directorate, Japan Aerospace Exploration Agency (JAXA)
Degree
Ph.D. (Information Science and Technology)(The University of Tokyo)

J-GLOBAL ID
201701018164345367
researchmap Member ID
B000273631

My main research interest is constructing and analyzing formal models of software systems using interactive theorem proving.

 

このページの日本語版はこちら (Japanese version of this page)


Research Projects

  5

Major Media Coverage

  9

Major Papers

  17

Industrial Property Rights

  1

Books and Other Publications

  1

Major Presentations

  8

Major Academic Activities

  17

Works

  2

Misc.

  4