基本信息
浏览量:58
职业迁徙
个人简介
Associate professor in Prof. Naoki Kobayashi's research group, Graduate School of Information Sciences, Tohoku University. Main interest includes the theory and application of programming languages and type systems in a variety of domains including process calculi, partial evaluation, security foundations, and functional programming.
Used to be a research associate of Prof. Benjamin C. Pierce, Department of Computer Science, University of Pennsylvania from April 2003 to April 2005. Assistant professor in Yonezawa Laboratory, Department of Computer Science, University of Tokyo from April 2001 to March 2003. A principal developer in IPA Exploratory Software Project from June 2004 to February 2005.
Program committee member of ICFP 2003, PPL 2005, JSSST 2005, ML 2005, PPL 2006, FLOPS 2006, ESORICS 2006, PLAS 2007, FCS-ARSPA 2007, APLAS 2007, POPL 2008, ESOP 2008, PLAS 2008, and APLAS 2010. Planning committee member of Japan Society for Software Science and Technology (October 2001 to March 2003). An organizer of ICFP Programming Contest 2004, an invited speaker of PPL Summer School 2006, the poster chair of APLAS 2006 and APLAS 2007, a program co-chair of PPL 2008, the program chair of ML 2008, and the local chair of FLOPS 2010. Steering committee member of The ML Workshop (September 2008-). Editorial board member of JSSST Computer Software (April 2009-) and The Journal of Functional Programming (January 2009 to December 2011). Reviewer of numerous journal, conference/symposium and workshop papers.
Received Ph.D. in Information Science and Technology from the University of Tokyo in November 2004. Received IPA Exploratory Software Project "Super-Creator" Award in May 2005, IPSJ Tohoku Noguchi Research Incentive Award in May 2006, Funai Information Science Incentive Award in March 2008, and MSR Japan New Faculty Award in July 2010.
研究兴趣
论文共 66 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn