Ken Sakayori (酒寄　健)

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.