Tohoku University, Graduate School of Information Sciences
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 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 April 2014. Research associate in Department of Computer Science, University of Pennsylvania from April 2003 to April 2005. Assistant professor in 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. Member (and chair) of a number of academic committees (international and domestic). Member of ACM, JSSST, IPSJ, and IFIP WG 2.8. Reviewer of numerous journal and conference papers.