[Note: In general, I will not respond to student application by direct e-mail. If you are interested in studying with us, please check this first.]
I am an associate professor in Prof. Naoki Kobayashi's research group, Graduate School of Information Sciences, Tohoku University. My main interest is 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.
I was a research associate of Prof. Benjamin C. Pierce, Department of Computer Science, University of Pennsylvania from April 2003 to April 2005. I was a "joshu" (similar to assistant professors in the US) in Yonezawa Laboratory, Department of Computer Science, University of Tokyo from April 2001 to March 2003. I was a "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.
I served as a planning committee member of Japan Society for Software Science and Technology from October 2001 to March 2003. I also served as a program committee member of ICFP 2003, PPL 2005, JSSST 2005, ML 2005, PPL 2006, FLOPS 2006, ESORICS 2006, PLAS 2007, and FCS-ARSPA 2007 as well as an organizer of ICFP Programming Contest 2004, an invited speaker of PPL Summer School 2006, and the poster chair of APLAS 2006. I am serving as a program co-chair of PPL 2008, the poster chair of APLAS 2007, and a program committee member of APLAS 2007, PLAS 2008, ESOP 2008, and POPL 2008. I reviewed numerous journal, conference/symposium and workshop papers.
I 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!)