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