Masaki Hara (原 将己)
I'm Masaki Hara (原 将己), a 2nd-year master's degree student, who is formally in Kobayashi Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo. My formal supervisor is Naoki Kobayashi.
However, I'm effectively a member of Hasuo Laboratory, which was in The University of Tokyo. My effective supervisor, as a delegated studentship, is Ichiro Hasuo.
- Office
- Room 3, ERATO Hasuo Project, Palace Side Building 3F, Hitotsubashi 1-1-1, Tokyo 100-1003, Japan
or Room 615, Faculty of Science Building 7, 7-3-1 Hongo, Bunkyo, Tokyo 113-0033
- E-mail address
- qnighy@is.s.u-tokyo.ac.jp or ackie.h.gmai@gmail.com
Papers and theses
- Natsuki Urabe, Masaki Hara and Ichiro Hasuo. Categorical Liveness Checking by Corecursive Algebras. LICS 2017 (To Be Published)
- Masaki Hara, On Extension of Parameterized Coinduction. Bachelor Thesis, February 2016. [pdf] [bib]
Talks