He graduated from, and was an assistant professor at, the University of Tokyo, and was a research associate at the University of Pennsylvania. His main research domain is the foundational theory of programming languages and computational models, with publications in Journal of the ACM, Theoretical Computer Science, ACM POPL, and IEEE LICS, among others.