Keiko Nakata

Program committees

PPL 2011 (Japanese), SOS 2011, DSL 2011, FLOPS 2012, ML 2012, EXPRESS/SOS 2012, APLAS 2012, PPL 2013 (Japanese), TFP 2013, FLOPS 2014, ML 2014, Haskell Symposium 2014, PEPM 2015, PPL 2015 (Japanese), TLCA 2015, ICFP 2015, ESOP 2016, ITP 2017, TYPES 2017.

European projects

Other academic service

Selection Committee for John C. Reynolds Doctoral Dissertation Award (2016)

Supervised Master Students

Elmo Todurov

Research papers

Tutorial

Talks