Yusuke MATSUSHITA (松下 祐介)

Yusuke MATSUSHITA (松下 祐介)

Master’s Student of Kobayashi Lab, Dept. of Computer Science, Grad School of IST, the University of Tokyo

Google Scholar, dblp, ORCID
GitHub, Twitter (Japanese)
Mail: yskm24t@is.s.u-tokyo.ac.jp

I am interested in program verification, language design and program logic in general.
I am particularly curious about the Rust programming language.

Papers

Talks

Posters

Education

Experience

Teaching

Work

Competitive Programming

AtCoder

Piano and Music

YouTube Channel

Misc