Yusuke MATSUSHITA (松下 祐介)

Yusuke MATSUSHITA (松下 祐介)

Yusuke MATSUSHITA Face Photo

(Last updated: Aug 31, 2024)

I am a researcher of software science.
I primarily study 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: Aug 30, 2024)

Papers

Theses

Talks

Posters

Articles

Grants

Experience

Work

Service

Internship

Education

Teaching

Competitive Programming

Piano and Music

Misc