Hiroki Kobayashi (小林 弘季)

2nd-year master's course student in
Group MMM (a.k.a. Hasuo-Lab),
Department of Computer Science,
Graduate School of Information Science and Technology,
The University of Tokyo.
Supervisor: Ichiro HASUO

Research Interests

Publications and Theses

• Hiroki Kobayashi. A Duality-Based Formulation of Healthiness Conditions for Weakest Preconditions.
  Bachelor thesis, the University of Tokyo, 2016.
• Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo and Bart Jacobs.
  Healthiness from Duality.
  To appear in LICS 2016.

Talks

None

Conferences and Research Visits

• LICS 2016, New York, USA, July 2016.
• ICFP 2016, Nara, Japan, September 2016.

Teaching experiences

• Teaching assistant for Logic Exercise (論理学演習) (Apr. 2016 – Sep. 2016)
• Teaching assistant for Logic Exercise (論理学演習) (Apr. 2017 – Present)

Contact

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

2017-04-21