ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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, Japan

Personal website: http://www-kb.is.s.u-tokyo.ac.jp/~koba/

Contributions

FOSSACS 2019Committee Member in Program Committee within the FOSSACS 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile