External Positions
- Programme committee member, 10th International Workshop on Security and Trust Management, ERCIM (European Research Consortium in Informatics and Mathematics), 2014 - 2014
- Programme committee member, ARES 2014: International Conference on Availability, Reliability and Security, 2014 - 2014
- Programme Board Member, 2nd International Conference Human Aspects of Information Security, Privacy and Trust 2014, HCI International, 2014 - 2014
- Programm Committee Member, European Symposium on Research in Computer Security, 2013 - 2013
- Program Committee Membe, International Colloquium on Automata, Languages and Programming, EATCS, 2013 - 2013
- Program Committee Member, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, ETAPS, 2013 - 2013
- Program Co-Chair, International Conference on Quantitative Evaluation of Systems, 2009 - 2009
- External Examiner, External Examiner for the School of Computer Science, University of Birmingham, BEng/MEng in Computer Science with Business Management, and BSc/MEng in Electronics and Software Engineering, University of Birmingham, 2006
- Member (2006 - present), EPSRC College
Membership of Professional Bodies
- Professional Member since July 2005, ACM Special Interest Group on Programming Languages
- Professional Member since October 2002, ACM Special Interest Group on Security, Audit, and Control
- Professional Member since October 2002, ACM Special Interest Group on Software Engineering
- Professional Member since July 2002, Association of Computing Machinery
- Professional Member since January 2005, European Association of Theoretical Computer Science
- Professional Member since January 2004, IEEE Computer Society
Industrial Connections
- Intel Corporation, Trust Evidence From Programmer's Intent: Its Generation and Enforcement Via Policy-Based Risk Management
Editorial Boards
- ACM Computing Surveys, Associate Editor (Software Engineering)