Hiroshi Ogawa (小川 浩志)

I am a 2nd-year master's course student in Group MMM (Hasuo-Lab), Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo. My supervisor is Ichiro Hasuo.

Research Interests

Publications and theses

• Hiroshi Ogawa.
  Coalgebraic Approach to Equivalences of Quantum Systems.
  BSc thesis, University of Tokyo, 2014. (pdf)

Talks

• Quotient and Kantorovich Metric via Observation-Algebra in Lawvere Theory.
  CSCAT 2015, Kagoshima University, Kagoshima, Japan. 14 Mar 2015.
  [slides]
• Coalgebraic Approach to Equivalences of Quantum Systems.
  CSCAT 2014, Kanagawa University, Kanagawa, Japan. 19 Mar 2014.
  [slides]

Visited conferences and workshops

• CSCAT 2015, Kagoshima, Japan, 2015.
• NII Shonan School On Coq , Kanagawa, Japan, 2014.
• QPL 2014 , Kyoto, Japan, 2014.
• CSCAT 2014 , Kanagawa, Japan, 2014.

Teaching experiences

• Teaching assistant for Information Logic Exercise class (Apr. 2015 – Jul. 2015)
• Teaching assistant for Information Logic class (Apr. 2014 – Jul. 2014)
• Teaching assistant for Formal Langugage Theory class (Oct. 2013 – Mar. 2014)

Contact

• Office: Room 415, Faculty of Science Building 7, 7-3-1 Hongo, Bunkyo, Tokyo 113-0033
• Email: ogawahiroshi [at] is.s.u-tokyo.ac.jp