Ryo Nakashima

2nd-Year Master’s Student
Dept. of IPC

Shinagawa Laboratory

    Interests
    • Formal Verification of Reference Monitors
    Education
    • Master's Course, since April, 2023

      Department of Information Physics & Computing, Graduate School of Information Science and Technology, The University of Tokyo