Yusuke MATSUSHITA (松下 祐介)

Yusuke MATSUSHITA (松下 祐介)

Yusuke MATSUSHITA Face Photo

(Last updated: Jul 23, 2024)

I am a software scientist, specializing in formal verification of stateful programs, especially those written in Rust.
From Apr 2024, I work as a postdoctoral researcher under JSPS’s Fellowship PD at Igarashi & Suenaga Lab.

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

Curriculum Vitae (Last updated: Mar 8, 2024)

Papers

Theses

Talks

Posters

Articles

Grants

Experience

Work

Internship

Education

Teaching

Competitive Programming

Piano and Music

Misc