Registered user since Tue 17 Nov 2015
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.
|POPL 2016|| T5: Higher-Order Model Checking|
Temporal Verification of Higher-order Functional Programs
|Show activities from other conferences|
View general profile