I’m a postdoctoral researcher at the Department of Computer Science and Engineering, University of Bologna,
and also a member of the INRIA FoCUS Research Team.
Before that I was a postdoc (and a PhD student) at
Kobayashi Lab, Department of Computer Science,
Graduate School of Information Science and Technology,
The University of Tokyo,
under the supervision of Naoki Kobayashi.
Disclaimer
I’m in the process of porting my website to Github pages. For now, some of the links or functionality of this website may not work as expected.
Research Interests
I study semantics of concurrent programs. More specifically, I’m interested in investigating π-calculus through the lens of (denotational) semantics. Broadly speaking, my interest lies in the field of programming language semantics, logics (in computer science) and programming verification.
Publications
- Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada
Termination Analysis for the π-Calculus by Reduction to Sequential Program Termination
Proc. APLAS 2021
[Publisher version: © Springer-Verlag, preprint at arXiv] - Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
Proc. SAS 2021
[Publisher version: © Springer-Verlag, preprint at arXiv] - Ken Sakayori and Takeshi Tsukada
Output Without Delay: A π-Calculus Compatible with Categorical Semantics
Proc. FSCD 2021
[doi:10.4230/LIPIcs.FSCD.2021.32] - 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: ken.sakayori [at] unibo.it
Blog
Blog (currently) written only in Japanese.