I'm a student at
Department of Informatics,
School of Multidisciplinary Sciences,
The Graduate University for Advanced Studies (SOKENDAI).
I've been in 5-year PhD course since April 2018, supervised by Ichiro Hasuo.
I'm interested in applying category theory and related techniques to computer science, especially to formal methods such as model checking and program proving.
Take a look at my twitter if you can read Japanese. It's almost always fresher than this page.
My e-mail address is komorin at nii.ac.jp .