Profile Information

Affiliation
National Institute of Advanced Industrial Science and Technology (AIST) Cyber Physical Security Research Center (CPSEC) Senior Research Scientist
Degree
PhD in Computer Science(3 2010 University of Tokyo)

Researcher number
60760006
ORCID ID
 https://orcid.org/0000-0002-2151-9560
J-GLOBAL ID
201201089843679034

Yusuke Kawamoto is a senior research scientist working on the foundation of information security, especially the design, analysis and verification of probabilistic programs and protocols, including:

(A) the formal verification of quantitative properties in probabilistic systems (e.g., quantitative information flow using a hybrid approach combining symbolic and statistical approaches);

(B) the formal specification and quality assurance of statistical machine learning and artificial intelligence;

(C) the design of quantitative privacy protection mechanisms (e.g., extension of differential privacy, and game-based adaptive defense).

Broadly speaking, my research is based on the following three approaches and their combinations:

  1. symbolic approach (based on mathematical logic),
  2. information theoretical and statistical approach,
  3. computational approach (based on computational complexity theory). 
Recent news

2020-09 My paper "An epistemic approach to the formal specification of statistical machine learning" appeared in a special issue of Software and Systems Modeling.


E-mail: yusuke000kawamoto AT aist000go000jp (Please replace 000 with . and AT with @)

Research discussion and suggestion from academic researchers are very welcome.
No PhD student positions are available. No applications of interships can be accepted currently.
I may not be able to reply to all emails. Thank you for your understanding.


Major Papers

  28

Books and Other Publications

  1

Misc.

  4

Presentations

  44

Major Research Projects

  9

Committee Memberships

  2