Summary: Curriculum Vitae of Naoki Kobayashi
(as of July 14, 2004)
Work Address
Department of Computer Science, Graduate School of Information Science and Engineering,
Tokyo Institute of Technology
2­12­1 Oookayama, Meguro­ku, Tokyo 152­8552, Japan
Phone: +81­3­5734­3698
Education
. May 1996: PhD from University of Tokyo
. March 1993: M.S. from University of Tokyo
. March 1991: B.S. from University of Tokyo
Position
. January 2001 ­ present: Associate Professor, Dept. of Computer Science, Tokyo Insti­
tute of Technology
. June 1996 ­ December 2000: (Full­time) Lecturer, Dept. of Information Science, Uni­
versity of Tokyo
. November 1993 ­ June 1996: Research associate, Dept. of Information Science, Univer­
sity of Tokyo
Research Interests
Foundations for programming languages, including concurrency, type systems, and program

Source: Aceto, Luca - School of Computer Science, Reykjavík University

Collections: Mathematics; Computer Technologies and Information Sciences