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.

Publications

Education

Grants

How to reach me

Blog

Blog some in English and the others in Japanese.