Associate professor in Prof. Naoki Kobayashi's research group, Graduate School of Information Sciences, Tohoku University. Main interest includes the theory and application of programming languages and type systems in a variety of domains including process calculi, partial evaluation, security foundations, and functional programming.
Used to be a research associate of Prof. Benjamin C. Pierce, Department of Computer Science, University of Pennsylvania from April 2003 to April 2005. "Joshu" (similar to assistant professors in the US) in Yonezawa Laboratory, Department of Computer Science, University of Tokyo from April 2001 to March 2003. "Principal developer" (similar to PIs) in Exploratory Software Project (Mitou Software Souzou Jigyou), Information-Technology Promotion Agency (IPA), Japan from June 2004 to February 2005 and received the "super-creator" award.
Planning committee member of Japan Society for Software Science and Technology from October 2001 to March 2003. A program committee member of ICFP 2003, PPL 2005, JSSST 2005, ML 2005, PPL 2006, FLOPS 2006, ESORICS 2006, PLAS 2007, FCS-ARSPA 2007, APLAS 2007, POPL 2008, ESOP 2008, and PLAS 2008. An organizer of ICFP Programming Contest 2004, an invited speaker of PPL Summer School 2006, the poster chair of APLAS 2006 and APLAS 2007, a program co-chair of PPL 2008, and the program chair of ML 2008. Editorial board member of The Journal of Functional Programming (January 2009 to December 2011). Reviewed numerous journal, conference/symposium and workshop papers.
Received Ph.D. in Information Science and Technology from the University of Tokyo in November 2004.
MinCaml: An educational compiler from a tiny ML subset to the SPARC assembly language (only 2000 lines of OCaml, but almost as efficient as—or even more efficient than—OCaml and GCC!)
Call for Translators of the OCaml Book (from English or French to Japanese) [Snapshot of the translation on October 3, 2004]
Team PLClub and Team TAPLAS (First place in ICFP Programming Contest 2000 and 2002!)