Naoki Kobayashi

He has moved to Department of Computer Science, University of Tokyo in April 2012. The new home page is found here.

He was born in 1968, and received his B.S., M.S., and D.S. degrees from University of Tokyo in 1991, 1993 and 1996, respectively. He is a professor in Graduate School of Information Sciences, Tohoku University. His current major research interests are in principles of programming languages. In particular, he is interested in type systems and static analysis of functional and concurrent programming languages.

Japanese Version