基本信息
views: 78
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
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.
He delivered invited talks at various international conferences, such as CPP 2012, LICS 2011, APLAS 2009, and FLOPS 2008. He served as PC (co)-chairs for ICALP 2015, APLAS 2006, and TACS 2001; and served as PC members for many international conferences including POPL, LICS, ESOP, SAS, APLAS, and FoSSaCS.
Research Interests
Papers共 34 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Metabolism: clinical and experimentalpp.155906-155906, (2024)
Functional and Logic Programming Lecture Notes in Computer Sciencepp.39-56, (2022)
Cell Chemical Biologyno. 4 (2022): 680-689.e6
NATURE COMMUNICATIONSno. 1 (2022): 5655-18
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn