Registered user since Tue 8 Nov 2016
I’m an assistant professor at National Institute of Informatics in Japan. I am interested in theory and applications of programming languages, such as type theory, program verification, type inference, program reasoning, and so on.
|HOPE 2022|| Committee Member in Program Committee within the HOPE 2022-track|
Dependent Temporal Type-and-Effect System with Delimited Continuations
|Show activities from other conferences|
View general profile