Japanese

Yuichi Komorida

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 .

Education

For now, please look at ORCID.

Papers

For now, please look at DBLP.

Visits

Last updated: Dec 23 2019