SPLASH 2024
Sun 20 - Fri 25 October 2024 Pasadena, California, United States
SPLASH 2024 (series) / Yuki Nishida

Registered user since Tue 4 Apr 2017

Name:Yuki Nishida
Country:Japan
Affiliation:Tohoku University
Research interests:Type System, Formal Verification, Blockchain

Contributions

Show activities from other conferences

SPLASH 2024-profile
View general profile