Wataru Hino (日野 亘)
- Categorical duality
- Regular language
- Universal algebra
- Coalgebraic modal logic
- MSc in Information Science and Technology, The University of Tokyo, March 2017.
- BSc in Mathematics, The University of Tokyo, March 2015.
Conferences and Research Visits
- 数学基礎論若手の会 2016, Kiyosato, Japan, October 2016.
- LICS 2016, New York, USA, July 2016.
- Visit to Steve Awodey at Carnegie Mellon University, February 2016 - March 2016.
- 数学基礎論若手の会 2015, Tateyama, Japan, November 2015.
- CTFM 2015, Tokyo, Japan, Sept. 2015.
- LICS 2015 and ICALP 2015, Kyoto, Japan, July 2015.
- MFPS XXXI and CALCO 2015, Nijmegen, Netherlands, June 2015.
- CSCAT 2015, Kagoshima, Japan, March 2015.
Awards and Grants
- Email: firstname.lastname@example.org