I assist in leading the PRG-group under Hidehiko Masuhara and Youyou Cong’s direction. If you find that our research areas align with your interests, please refer to “How to Join the Group” for further details.
I am also looking for students interested in type systems and program verification to collaborate with Taro Sekiyama at NII. If you are interested, please feel free to contact me.
Notice: I am not formally authorized to supervise students. If you wish to conduct research with me, please contact the PIs mentioned above.
👉What is 助教 (jokyo, assistant professor in Japan)
(Updated on April 1, 2025)
I am currently mentoring
and working on their thesis projects regarding language design, type systems, GPGPU, and live programming. For more information about our ongoing projects, please visit our “Projects” page.
For a comprehensive list including informal publications by my mentees, see my researchmap.