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
  To apper in Proc. ESOP 2017
  [Author version: pdf]
• Ken Sakayori and Takeshi Tsukada
  A Truly Concurrent Game Model of the Asynchronous π-calculus
  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