Write a Blog >>
Keisuke Nakano

Registered user since Wed 2 Sep 2015

Name: Keisuke Nakano

Bio: Keisuke Nakano is a professor of Research Institute of Electrical Communication in Tohoku University since April 2018. He received his Ph.D. degree from Kyoto University in 2006. He worked as a researcher at University of Tokyo from 2003 to 2008, and as an assistant professor and associate professor at University of Electro-Communications until 2018. His research interests include formal language theory, programming language theory, functional programming, and certified programming. He is a member of ACM, IPSJ, and JSSST.

Country: Japan

Affiliation: Tohoku University

Personal website: http://www.riec.tohoku.ac.jp/~ksk/en/

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


PEPM 2020Committee Member in Program Committee within the PEPM 2020-track
Show activities from other conferences

POPL 2020-profile
View general profile