Yusuke Kawamoto

I am a senior research scientist at AIST (National Institute of Advanced Industrial Science and Technology), and a PRESTO Researcher at JST (Japan Science and Technology Agency) in Japan.


My research topic is the foundation of information security and software science, especially the modeling and verification of probabilistic programs, protocols, and systems by using the following approaches and their integration:

Examples of my recent research interests:

Here is a publication list.
More details can be found in researchmap [Japanese | English]

Previous research

My previous research includes the following topics:

Dr Yusuke Kawamoto
Digital Architecture Research Center (DigiARC),
Department of Information Technology and Human Factors,
National Institute of Advanced Industrial Science and Technology (AIST).