Wataru Hino (日野 亘)

Research Interests

• Categorical duality
• Regular language
• Universal algebra
• Coalgebraic modal logic

Education

• MSc in Information Science and Technology, The University of Tokyo, March 2017.
  • Thesis: Varieties of Metric and Quantitative Algebras [ pdf | slides ]
  • Supervisor: Ichiro Hasuo
• BSc in Mathematics, The University of Tokyo, March 2015.

Publications

• Wataru Hino.
  Continuous Varieties of Metric and Quantitative Algebras.
  Preprint. [ arXiv ]
• Wataru Hino.
  Varieties of Metric and Quantitative Algebras.
  Preprint. [ arXiv ]
• Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo and Bart Jacobs.
  Healthiness from Duality.
  Proc. LICS 2016, pp. 682-691. [ doi | arXiv (extended version) ]

Talks

• Varieties of Metric Algebras.
  数学基礎論若手の会 2016, Kiyosato, October 2016.
• Healthiness from Duality.
  LICS 2016, New York, July 2016. [ slides ]
• Varieties, Quasivarieties and Prevarieties: Completing the Picture.
  CALCO 2015 Early Ideas, Nijmegen, June 2015. [ pdf | slides ]
• Quotient Monads and Their Algebras.
  CSCAT 2015, Kagoshima, 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.

Teaching

• Teaching Assistant, Computing for Mathematicians I (計算数学I), April 2016 - July 2016.
• Teaching Assistant, Formal Language Theory (形式言語理論), October 2015 - January 2016.
• Teaching Assistant, Advanced Programming Languages (計算機言語論), April 2015 - June 2015.

Awards and Grants

• Google Travel Grants for Students in Japan and South Korea, Google, July 2016.
• Student Travel Grants for World-leading Innovative and Smart Education (卓越大学院学生派遣補助), The University of Tokyo, March 2016.
• The Faculty of Science Study Award (理学部学修奨励賞), The University of Tokyo, March 2014.

Contact

• Email: wataru@is.s.u-tokyo.ac.jp