Ken Sakayori (酒寄 健)
I’m a first-year Ph.D. student in
Kobayashi Lab, Department of Computer Science,
Graduate School of Information Science and Technology,
The University of Tokyo,
under the supervision of Naoki Kobayashi.
Research Interests
- Semantics of concurrent programs
Publications
- Ken Sakayori and Takeshi Tsukada
A Truly Concurrent Game Model of the Asynchronous π-calculus
To appear in Proc. FoSSaCS 2017
[Publisher version: © Springer-Verlag, Author version: pdf]
Education
- BSc, The University of Tokyo, March 2016
- Master of Information Science & Technology, The University of Tokyo, March 2018
Contact
- Email: sakayori [at] kb.is.s.u-tokyo.ac.jp