Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Keisuke Nakano

Registered user since Wed 2 Sep 2015

Name: Keisuke Nakano

Country: Japan

Affiliation: The University of Electro-Communications

Personal website: http://millsmess.cs.uec.ac.jp/~ksk/en/

Research interests: Formal language, Programming language, Program transformation, Certified programming


ICFP 2016 Committee Member in Program Committee within the Research Papers-track
Programming Contest Organiser in Organizing Committee
Show activities from other conferences

ICFP 2016-profile
View general profile