I am a DPhil student at the Department of Computer Science in the University of Oxford, and I have interests in category theory and its applications to computer science. Please see my departmental webpage for more details. My CV can be found here.
If you want to contact me, you can do so by these channels (in descending order of checking frequency):
- Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, and Ichiro Hasuo. Codensity Games for Bisimilarity, July 2019.
To appear in Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019).
- ‘Accelerating Naperian functors’, September 2017. 7th South of England Regional Programming Language Seminar. [slides]