Registered user since Tue 25 Aug 2015
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.
|ICFP 2016|| Session Chair of Keynote 1 (part of Keynote Talks)|
Program Chair in Program Committee within the Research Papers-track
ICFP'16 Program Chair in Steering Committee
Program Chair in Organizing Committee
|Show activities from other conferences|
View general profile