Information in Japanese is can be found here (PDF) and here. / 日本語での情報は略歴・主要業績(PDF)および東北大学研究者紹介をご覧ください。
Associate professor in 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.
Member of the Young Academy of Japan, the Science Council of Japan from November 2010. Research associate of Prof. Benjamin C. Pierce, Department of Computer Science, University of Pennsylvania from April 2003 to April 2005. Assistant professor in Yonezawa Laboratory, Department of Computer Science, University of Tokyo from April 2001 to March 2003. A principal developer in IPA Exploratory Software Project from June 2004 to February 2005. Received Ph.D. in Information Science and Technology from the University of Tokyo in November 2004.
Program committee member of ICFP 2003, PPL 2005, JSSST 2005, ML Workshop 2005, PPL 2006, FLOPS 2006, ESORICS 2006, PLAS 2007, FCS-ARSPA 2007, APLAS 2007, POPL 2008, ESOP 2008, PLAS 2008, APLAS 2010, PADL 2012, HOPE 2012, Scheme Workshop 2012, ICFP 2012, Haskell Symposium 2012, and an external review committee member of POPL 2013. Planning committee member of Japan Society for Software Science and Technology from October 2001 to March 2003. 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, the program chair of ML 2008, the local chair of FLOPS 2010, and the programming contest chair of ICFP 2011. Steering committee member of ML Workshop (from September 2008, chair from October 2010, to September 2011) and PPL (from April 2011). Editorial board member of JSSST Computer Software from April 2009 and Journal of Functional Programming from January 2009. Reviewer of numerous journal, conference/symposium and workshop papers.
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!)
Team PLClub and Team TAPLAS (First place in ICFP Programming Contest 2000 and 2002!)