Programme Committees and Other Activities
I frequently review papers and have been on a number of programme committees (ACL2 2013, ACL2 2014, CICM 2013, CPP 2015, ITP 2011, ITP 2012, ITP 2013, ITP 2014, LOLA 2015, PLPV 2014, PxTP 2013).
I've given invited talks at ACL2'14 and LOLA'13.