About the earthquake: all the members of our lab (including myself) are safe, as well as my family. Although some parts of Sendai City (and some buildings in Tohoku University) have been damaged, life is back to normal in general. Thank you!
[Note: We receive many spam-like e-mails for student application. If you are interested in studying in our research group, please check Prof. Kobayashi's instructions (Japanese, English).]
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.
An ad hoc committee member of the Science Council of Japan from November 2010 to September 2011. 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.
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, PLAS 2008, and APLAS 2010. 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 The ML Workshop (from September 2008, chair from October 2010). Editorial board member of JSSST Computer Software (from April 2009) and The Journal of Functional Programming (from January 2009 to December 2011). Reviewer of numerous journal, conference/symposium and workshop papers.
Received Ph.D. in Information Science and Technology from the University of Tokyo in November 2004. Received IPA Exploratory Software Project "Super-Creator" Award in May 2005, IPSJ Tohoku Noguchi Research Incentive Award in May 2006, Funai Information Science Incentive Award in March 2008, and MSR Japan New Faculty Award in July 2010.
ICFP Programming Contest 2011 and static mirror (may be out of date)
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!)