Yusuke Kawamoto

I am a research scientist at AIST (National Institute of Advanced Industrial Science and Technology) in Japan.


My research topic is the foundation of information security, especially the analyses and verification of probabilistic programs and protocols by:

  1. the symbolic approach (based on mathematical logic);
  2. the information theoretical approach (based on information theory and statistics);
  3. the computational approach (based on computational complexity theory).

In particular, I recently study

More details can be found in the following page: http://researchmap.jp/y_kawamoto/?lang=english


Dr Yusuke Kawamoto
AIST Tsukuba Central 1,
1-1-1 Umezono, Tsukuba, Ibaraki 305-8560 JAPAN.

ȵ縦 / AIST 󵻽Ѹ / ITRI