Yusuke MATSUSHITA (松下 祐介)

Yusuke MATSUSHITA (松下 祐介)

Yusuke MATSUSHITA Face Photo

(Last updated: Apr 11, 2025)

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).

Google Scholar, dblp, ORCID, researchmap
GitHub, Twitter, LinkedIn
Email: ysk.m24t@gmail.com

Curriculum Vitae (Last updated: Apr 10, 2025)

Papers

Theses

Lectures

Talks

Co-Authored

Posters

Co-Authored

Articles

Grants

Work

Teaching

Service

Internship

Education

Experiences

Competitive Programming

Piano and Music

Debate