VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Naoki Kobayashi

Registered user since Tue 17 Nov 2015

Name:Naoki Kobayashi
Bio:

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 Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo. His current major research interests are in principles of programming languages. In particular, he is interested in type systems and program verification.

Country:Japan
Affiliation:University of Tokyo
Research interests:Type systems, program verification.

Contributions

POPL 2016 T5: Higher-Order Model Checking
Temporal Verification of Higher-order Functional Programs
Show activities from other conferences

POPL 2016-profile
View general profile