Academic/Research Activities

• APLAS 2011: PC member,
• LICS 2012 PC: member
• IFIP WG 2.2 member
• The Journal of Logic and Algebraic Programming: Editorial Board
• Past Events: POPL 2011: PC member, TACAS 2011: PC member, SAS 2011: PC member FLOPS 2010: General Chair, LICS 2010: PC member, ESOP 2010: PC member, ATVA2010: PC member, SAS 2009: PC member, FOSSACS 2009: PC member, APLAS 2008: PC member, LICS 2008: PC member, SAS2007: PC member, FMOODS2007: PC member, APLAS2006 : PC Chair, TLDI 2007 : PC member, SAS2006: PC member FCS'05 : PC member, APLAS2005 : PC member, FOSSACS2005 : PC member, POPL 2005 : PC member, FLOPS 2004 PC member, FCS'04 PC member, CONCUR'03 PC member, PEPM'03 PC member, ASIAN 2003: PC member PADL'03 PC member, FOOL 10 PC member, TACS 2001 PC Co-Chair, ICFP 2001 PC member, PPDP2000 PC member, HLCL'00 PC member, IFIP TCS2000 PC member, FOOL 7 PC member, PPL 2000 PC Co-Chair