Ken Sakayori (酒寄　健)

I’m a second year master’s course 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

Contact

• Email: sakayori [at] kb.is.s.u-tokyo.ac.jp