He was born in 1968, and received his B.S., M.S., and D.S. degrees from University of Tokyo in 1991, 1993 and 1996, respectively. He is a professor in Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo. His current major research interests are in principles of programming languages. In particular, he is interested in type systems and program verification.
He is a fellow of IPSJ (Information Processing Society of Japan) and JSSST (Japan Society for Software Science and Technology). He delivered invited talks at various international conferences, such as PPDP 2019, CPP 2012, LICS 2011, APLAS 2009, and FLOPS 2008. He served as PC (co-)chairs for FoSSaCS 2024, FSCD 2021, LICS 2020, ICALP 2015, APLAS 2006, and TACS 2001; and served as PC members for many international conferences including POPL, LICS, ICALP, ESOP, SAS, APLAS, and FoSSaCS.
Japanese Version