Name:Yusuke Matsushita

Bio:

I am a software scientist working as a Program-Specific Assistant Professor at the Hakubi Center for Advanced Research and the Graduate School of Informatics, Kyoto University.

I specialize in formal verification of stateful programs, especially those written in Rust (e.g., my work RustHorn, RustHornBelt, and Nola). I am also curious about many other topics, including algorithms and natural language processing (e.g., SoftMatcha).

Affiliation:Kyoto University, Japan

Research interests:Software Science, Program Verification, Rust