Ken Sakayori (酒寄　健)

I moved. New website.

I’m a postdoctoral researcher 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 Categorical Model of an i/o-typed π-calculus
  Proc. ESOP 2019
  [Publisher version (gold open access): © Springer-Verlag, Long 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

• PhD in Information Science & Technology, The University of Tokyo, March 2021
• Master of Information Science & Technology, The University of Tokyo, March 2018
• BSc, The University of Tokyo, March 2016

Grants

• Grant-in-Aid for JSPS Fellows (DC2), Grant Number: 20J13473, Japan Society for the Promotion of Science, April 2020 - March 2021.

Contact

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