Yusuke MATSUSHITA (松下 祐介)

Yusuke MATSUSHITA (松下 祐介)

Yusuke MATSUSHITA Face Photo

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

I am interested in verification of systems programs, particularly those written in Rust.

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

Papers

Talks

Posters

Grants

Research Projects

Experience

Education

Teaching

Work

Competitive Programming

Piano and Music

Misc