Naoki Kobayashi

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.

Current Research Topics

• Type-Based Program Analysis

  Type systems play an important role in guaranteeing partial correctness of programs. By enriching standard types with various information about program behavior, we can analyze a variety of properties of programs. Our recent work include:

  • Type-Based Analysis of Concurrent Programs
  • Type-Based Analysis of Resource Usage
  • Type-based Static Memory Management

Selected Publications

Softwre

• TyPiCal: A TYpe-based analyzer for the PI-CALculus

Academic/Research Activities

• JSSST SIG-PROG (Japan Society for Software Science and Technology, Special Interest Group on Programming) Chair
• FOSSACS2005 : PC member
• FCS'05 : PC member
• APLAS2005 : PC member
• Recent Past Events: POPL 2005 : PC member, FLOPS 2004 PC member, FCS'04 PC member, CONCUR'03 PC member, PEPM'03 PC member, ASIAN 2003: PC member PADL'03 PC member, FOOL 10 PC member, TACS 2001 PC Co-Chair, ICFP 2001 PC member, PPDP2000 PC member, HLCL'00 PC member, IFIP TCS2000 PC member, FOOL 7 PC member, PPL 2000 PC Co-Chair

Information about Lectures(in Japanese)

Award

• 2001 IFIP TC2 Manfred Paul Award
• 2001 IPSJ Sakai Special Researcher Award
• 2003 IBM Japan Science Prize

Home Page of Our Research Group

Graduate School of Information Sciences, Tohoku University

ECEI (Group of Electrical Engineering, Communication Engineering, Electronic Engineering, and Information Engineering) home page

Yonezawa's research group at Univeristy of Tokyo

E-mail: