He received his B.S., M.S., and D.S. (PhD-equivalent) degrees from Department of Information Science, University of Tokyo in 1995, 1997, and 2000, respectively. His main research interests are in programming languages, especially, applications of type theory to various domains, including static analysis, process calculi, multi-stage programming, not to mention object-orientation. He has served on programming committees for international conferences such as POPL, OOPSLA, ECOOP, APLAS, TLCA, and AOSD.