Yusuke MATSUSHITA (松下 祐介)

Yusuke MATSUSHITA (松下 祐介)

Yusuke MATSUSHITA Face Photo

This website is old. Please visit my GitHub Pages for the latest information.

(Last updated: Jan 25, 2024)

I’m getting a Ph.D. degree in March 2024, studying software science at Kobayashi Lab, Department of Computer Science, Graduate School of Information Science and Technology, the University of Tokyo.

I study formal verification of system programs, specializing in Rust.

Google Scholar, dblp, ORCID
GitHub, Twitter, LinkedIn
Email

Curriculum Vitae (Last updated: Jan 25, 2024)

Papers

RustHornBelt

RustHorn

Theses

Talks

Posters

Articles

Grants

Experience

Internship

Education

Teaching

Competitive Programming

Piano and Music

Misc