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. I also have an English one, but it's not updated so often.
My e-mail address is komorin at nii.ac.jp .
For now, please look at ORCID.
For now, please look at DBLP.