International External Review

• Chairman, Expert Panel on Mathematics and Informatics, Academic Research Council, Ministry of Education, Republic of Singapore (2006-2014).
• Member, Academic Research Council, Ministry of Education, Republic of Singapore (since 2013). The ARC advise the Singapore Government on academic research policies and strategies in universities, and the allocation of research funding in line with international standards.
• External Panel Member, Quinquennial Review of the Graduate School of Informatics, University of Edinburgh, 2013-2014.
• Member, Agence d'Évaluation de la Recherche et de l'Enseignement Supérierur (AERES) International Panel to review the CNRS Laboratory Laboratoire Preuves, Programmes et Systemes (PPS) UMR 7126, December 2012.
• Member of Jury, Gödel Centenary Young Scholars' Competition, Kurt Gödel Society, Vienna, April 2006.
• Member of Jury (2008-2012, 2014), Ackermann Award. This is the European Association of Computer Science Logic (EACSL) Outstanding Doctoral Dissertation Award for Logic in Computer Science.
• Member (since 2014), Inaugural Selection Committee for the European Association of Theoretical Computer Science (EATCS) Distinguished Doctoral Dissertation Award.

Editorial

• Editor, Reviews for the Association for Symbolic Logic, (2005 - 2007).
• Editorial Advisor, London Mathematical Society Journal of Computation and Mathematics (1997 - 2003).
• Member of Editorial Board, Logical Methods in Computer Science (since 2004).
• Member of Advisory Board, Book Series in Programs and Proofs, Polimetrica Publisher (2006 - 2010).
• Member of the EPSRC Peer Review College (Information Technology and Computer Science), 1997 - 2000, 2003 - 2006.

Professional Societies and Conference Steering Committees

• General Chair (2012 - 2015), Advisory Board Member (2010 - 2012), Organising Committee Member (2007 - 2009), ACM/IEEE Symposium on Logic in Computer Science (LICS).
• Vice Chair (since 2014), ACM Special Interest Group on Logic and Computation (SIGLOG).
• Council Member (since 2012), European Association of Theoretical Computer Science (EATCS).
• Executive Member (since 2007), European Association of Computer Science Logic (EACSL).
• Steering Committee Member (2009 - 2012), European Association of Theory and Practice of Software (ETAPS).
• Steering Committee Member (since 2011), Typed Lambda Calculus and Applications (TLCA).
• Steering Committee Member (since 2009 - 2018), Foundations of Software Science and Computation Structures (FoSSaCS).
• Member (2008 - 2014), Member Emeritus (since 2014), IFIP Working Group 2.2.
• Steering Committee Member (since 2012), Workshop on Logic, Languages and Computation (WoLLiC).
• Steering Committee Member (2009 - 2015), International Workshop on Logic and Computational Complexity (LCC).
• Steering Committee Member (since 2005), Annual Workshop on Games for Logic and Programming Languages (GaLoP).
• Steering Committee Member (since 2013), Workshop on Higher-Order Program Analysis (HOPA).
• Steering Committee Member, ESF Research Networking Programme: Games for Design and Verification (2008 - 2013).

Conference Organisation

• Programme Committee (PC) Chair, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), Wroc\l aw, Poland, 10-14 July 2007.
• PC Chair and Conference Chair, 14th Annual Conference of the European Association for Computer Science Logic (CSL 2005), August 2005.
• PC Chair, ETAPS Conference on Foundations of Software Science and Computational Structures (FoSSaCS 2010), Paphos, Cyprus, 20-28 March 2010.
• PC Chair, 10th International Conference on Typed Lambda Calculus and Applications (TLCA 2011), Novi Sad, Serbia, 1-3 June 2011.
• PC Chair (Track B), 5th IFIP International Conference on Theoretical Computer Science (TCS 2008), Milano, Italy, 7-10 September 2008.
• Programme Chair and Organising Committee Chair, Research Programme on Logic, Automata and Games in Verification, Institute for Mathematical Sciences, National University of Singapore, 22 August - 30 September 2016.
• PC Chair, on Abstraction and Verification in Semantics, Institut Henri Poincaré Thematic Trimester on Semantics of Proofs and Certified Mathematics, 23-27 June 2014.
• PC Chair, Special Session on Logic and Algorithms of Higher-Order Computation, Association of Symbolic Logic North America Annual Meeting, University of Colorado, Boulder, USA, 19-22 May 2014.
• PC Chair, Workshop on Logic, Languages and Computation (WoLLiC 2012), Buenos Aires, September 2012.
• PC Co-chair, 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011), 29-31 August 2011, Xi'an, China.
• PC Co-chair, Workshop on Higher-Order Program Analysis (HOPA 2014) - FLoC 2014 Workshop, Vienna University of Technology, Austria, 18th July.
• PC Co-chair and Conference Co-chair, A Conference in Celebration of the 60th Birthday of Samson Abramsky, Oxford, May 2013.
• PC Co-chair, Workshop on Higher-Order Recursion Schemes and Pushdown Automata, 10-12 March 2010, Université Paris Diderot, Paris, France.
• PC Co-chair, Shonan Meeting on Automated Techniques for Higher-Order Program Verification, Shonan Village Centre 23-26 September 2011.
• PC Chair, Workshop on Games and Verification, and Annual Workshop of EU TMR-Network on Games and Automata for Synthesis and Validation, Isaac Newton Institute for Mathematical Sciences, 2-7 July 2006.
• PC Chair, Special Session on Games, Mathematical Foundations of Programming Semantics, Carniegie-Mellon University, Pittsburgh, 2004.
• PC Chair and Conference Chair, EU TMR Linear Logic in Computer Science Annual Meeting, 15-18 Apr 2000, University of Oxford, UK.
• Convenier (1993 - 1994), Cambridge-London-Oxford Seminars on Game Semantics.

Selected Programme Committees

• PC Member, 12th International Symposium on Functional and Logic Programming (FLOPS 2014), 4-6 June 2014. Kanazawa, Japan.
• PC Member, Annual IEEE Symposium on Logic in Computer Science (LICS): 2011, 2007, 2003, 1998, 1995.
• PC Member, EACSL Annual Conference on Computer Science Logic (CSL): 2009, 2008, 2005.
• PC Member, Member of Scientific Advisory Committee, Research Programme on Logic and Algorithms (LAA 2008), International Centre for Mathematical Sciences, Edinburgh, 21-25 July 2008.
• PC Member, Typed Lambda Calculus and Applications (TLCA): 2007, 2011, 2012, 2014.
• PC Member, International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR): 2007, 2004, 2002.
• PC Member Track B, 35th International Colloquium on Automata, Languages and Programming (ICALP), 6-13 July 2008, Reykjavik, Iceland.
• PC Member, Computability in Europe 2009 (CiE 2009), Mathematical Theory and Computational Practice, Heidelberg, Germany, 19-24 July 2009.
• PC Member, 2nd International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2011), Minori, Italy 15-17 June 2011.
• PC Member, Annual Conference on Theory and Applications of Models of Computation (TAMC): 2009, 2012.
• PC Member, Conference on the Mathematical Foundations of Programming Semantics (MFPS):- 2005, 2012, 2013.
• PC Member, Conference on Highlights of Logic, Games and Automata, Paris, 2-5 Septmber 2013.
• PC Member, 20th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2000) , New Delhi, December 2000.
• PC Member, Workshop on Higher-Order Program Analysis (HOPA): 2013, 2014.
• PC Member, Workshop on Fixpoints in Computer Science (FICS) - CSL 2013 Workshop, Torino, Italy, 1 September 2013.
• PC Member, International Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2013).
• PC Member, 5th Asian Computing Science Conference , Penang, Malaysia, 25-27 November 2000.
• PC Member, 13th IEEE Symposium on Logic in Computer Science (LICS'98), Indianapolis, USA, 21-24 June 1998 .
• PC Member, International Symposium Theoretical Aspects of Computer Software (TACS), Sendai, Japan, 23-26 September 1997.
• PC Member, 6th International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2013), Jiangxi Normal University, Nanchang, China, 28-30 October 2013.
• PC Member, 1st Workshop on Algorithmics on Infinite State Systems (AISS 2012) - LICS 2012 Workshop, Dubrovnik, Croatia, 29 June 2012.
• PC Member, 6th Workshop on Intersection Types and Related Systems (ITRS 2012) - LICS 2012 Workshop, Dubrovnik, Croatia, 29 June 2012.
• PC Member, 18th EACSL Annual Conference on Computer Science Logic, Coimbra, Portugal, 7 - 11 September 2009.
• PC Member, Games for Logic and Programming Languages (GaLoP) - ETAPS 2010 Workshop, 20-21 March 2010, Paphos, Cyprus.
• PC Member, 4th Workshop on Reachability Problems (RP), Brno, Czech Republic, 28-29 August 2010.
• PC Member, 5th International Symposium On Domain Theory, Shanghai, China.
• PC Member, 1st International Workshop on Linearlity - CSL 2009 Workshop, 12 September 2009. %
• PC Member, 6th Annual Conference on Theory and Applications of Models of Computation (TAMC 2009), ChangSha, PRC, from 23-28 May 2009. %
• PC Member, 17th EACSL Annual Conference on Computer Science Logic 15th-19th September 2008, Bertinoro, Italy . %
• PC Member, 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2007), October 15-19, 2007. Yerevan, Armenia . %
• PC Member, 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2004), Phnom Penh, Cambodia, 13-17 November 2006 .
• PC Member, Workshop on Classical Logic and Computation - ICALP 2006 Workshop, Venice, 15 July 2006. %
• PC Member, 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2004), Montevideo, Uruguay, 14-18 March 2005 . %
• PC Member, 21st Conference on the Mathematical Foundations of Programming Semantics, Birmingham, 18-21 May 2005 .
• PC Member, Workshop on Structures and Deduction - ICALP 2005 Workshop, Lisbon, 16-17 July 2005.
• PC Member, Asian Symposium on Progamming Languages and Systems (APLAS):2004, 2012. %
• PC Member, 2nd Asian Symposium on Progamming Languages and Systems (APLAS 2004) Taipei, Taiwan, 4-6 November, 2004. %
• PC Member, 13th Annual Conference of EACSL (CSL'04), Wroclaw, Poland, September 2004 .
• PC Member, 5th International Workshop on Implicit Computational Complexity - LICS 2003 Workshop, Ottawa, 26-27 June 2003. %
• PC Member, 18th Annual IEEE Symposium on Logic in Computer Science (LICS'03), Ottawa, Canada, Jun 2003 . %
• PC Member, 11th Annual Conference of EACSL (CSL'02), Edinburgh, 2002 . %
• PC Member, 10th IEEE Symposium on Logic in Computer Science (LICS'95), San Diego, USA, Jul 1995 .
• PC Member, Asian Logic Colloquium , Singapore, June 1993.