Ken Sakayori (酒寄 健) ORCID iD icon

I’m a 助教 (jokyo, assistant professor) of the Department of Computer Science,
Graduate School of Information Science and Technology,
The University of Tokyo. I’m a member of the Kobayashi Lab.

Before that I was

Research Interests

I study semantics of (concurrent) programs. More specifically, I like to investigate programs at the granuality in which both operational (e.g. LTS) and denotational (e.g. categorical) semantic insights can be used. Broadly speaking, my interest lies in the field of programming language semantics, logics (in computer science) and programming verification.




How to reach me


Blog some in English and the others in Japanese.