Registered user since Sat 21 Feb 2026
Name:Yusuke Kawamoto
Country:Japan
Affiliation:National Institute of Advanced Industrial Science and Technology (AIST), Japan
Personal website: https://staff.aist.go.jp/yusuke.kawamoto/
Research interests:Formal verification, Statistical programs, Stochastic systems, Information flow, Security, Privacy, Quality management of AI systems
Contributions
FM 2026-profile
View general profile
View general profile