Registered user since Tue 25 Aug 2015
Name: Eijiro Sumii
Bio: Professor in Graduate School of Information Sciences, Tohoku University from May 2014. Main interest includes the theory and applications of programming languages and type systems in a variety of domains including process calculi, partial evaluation, security foundations, and functional programming.
Affiliation: Tohoku University
Personal website: http://www.kb.ecei.tohoku.ac.jp/~sumii/
ICFP 2016 Activities
View general profile