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
Publications and Theses
A Duality-Based Formulation of Healthiness Conditions for Weakest Preconditions.
Bachelor thesis, the University of Tokyo, 2016.
and Bart Jacobs.
Healthiness from Duality.
To appear in LICS 2016.
Conferences and Research Visits
- 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