About student application: We receive many spam-like e-mails which are often too general and naive, like "I want to study programming/software engineering/computer science" or "I am good at C/C++/Java" for example. If you are interested in joining our research group, please read and follow the instructions by our ex-professor (but contact me, not him, if you are applying for Tohoku, not Tokyo).
The following information is obsolete. See the official page of the university for more up-to-date data.
Professor in Graduate School of Information Sciences, Tohoku University from May 2014. Main interest includes the theory and applications of programming languages and type systems in a variety of domains including process calculi, partial evaluation, security foundations, and functional programming.
Member of the Global Young Academy from May 2015. Member of Young Academy of Japan, Science Council of Japan from November 2010 (Secretary from February 2015). Associate Professor in Graduate School of Information Sciences, Tohoku University from May 2005 to March 2014. 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, JSSST 2010, APLAS 2010, PADL 2012, HOPE 2012, Scheme Workshop 2012, ICFP 2012, Haskell Symposium 2012, PEPM 2014, WPTE 2014, JSSST 2014, JSSST 2015, 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, the programming contest chair of ICFP 2011, a program co-chair and the general chair of FLOPS 2014, and the program chair of ICFP 2016. Steering committee member of ML Workshop (from September 2008, chair from October 2010, to September 2011), PPL (from April 2011, chair from April 2014), and FLOPS (chair, from June 2014). Editorial board member of JSSST Computer Software from April 2009 and Journal of Functional Programming from January 2009 to December 2013. A member of IFIP WG 2.8 from August 2014. 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!)