Academic/Research Activities

• FoSSaCS 2025: PC member
• POPL 2025: PC member
• FoSSaCS 2024: PC co-chair
• FoSSaCS: SC member
• LICS: SC member
• FSCD: SC member (2016.6- 2019.5, 2021.8-2024.6)
• IFIP WG 2.2 member
• Logical Methods in Computer Science: Editorial Board Member
• TheoretiCS: Editorial Board Member
• Past Events: MFCS 2024: PC member, LICS 2023: PC member, FoSSaCS 2022: PC member, ICALP 2022: PC member, HCVS 2022: PC member, RP 2022: PC member, CSL 2023: PC member FSCD 2021: PC Chair, POPL 2021: PC member LICS 2020: PC Chair, MFCS 2020: PC member, FoSSaCS 2019: PC member, ICFP 2018: ERC member, ICALP 2018: PC member, FLOPS 2018: PC member, ESOP 2018: PC member, CONCUR 2017: PC member, POPL 2017: ERC (External Review Committee) member, ITRS 2016: PC Chair, CONCUR 2016: PC member, FSCD 2016: PC member, CAV 2016: ERC (External Review Committee) member, FOSSACS 2016: PC member, ICALP 2015: Track B Program Chair, HOPE 2015: PC member, POPL 2015: PC member, CPP 2015: PC member, MFPS XXX: PC member, CSL-LICS 2014: PC member, PEPM 2014: PC member, TLCA 2013: PC member, GandALF 2013: PC member, FoSSaCS 2013: PC member, LICS 2012: PC member, APLAS 2011: PC member, 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