Current Activities

• PC member, POPL 2017, The 44th annual ACM SIGPLAN -SIGACT Symposium on Principles of Programming Languages
• PC member The 28th International Conference on Computer Aided Verification(CAV'16)
• Editor in Chief: Foundations and Trends in Programming Languages

Past Activities

• PC member The 24th European Symposium on Programming (ESOP'15)
• PC member 7th International Conference on Computer Aided Verification(CAV'15)
• I served as a program chair for the 38th ACM SIGACT-SIGPLAN Symposium of Programming Languages (POPL'11). You can read my chair-report.