Ken Sakayori (酒寄 健) ORCID iD icon

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.


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.






Blog (currently) written only in Japanese.