Awards
- FBCS, British Computer Society, 2012
- FIET, Institution of Engineering and Technology, 2004
- FCGI, City and Guils of London Institute, 2002
- FRSA, Royal Society for the Encoragement of Arts, Manufactures and Commerce, 2001
External Positions
- Member, Ministerial Oversight Group for the Security and Resilience Growth Partnership, Home Office, 2014 - 2016
- Vice Chair, CONNECT Advisory Forum, DG CONNECT, European Commission, 2013 - 2015
- President (Chairman), INRIA Scientific Council, Institut national de recherche en informatique et en automatique, 2011 - 2015
- Member, ISTAG (Advisory Board for EU ICT programme), 2009 - 2012
- Editor-in-Chief, ACM Computing Surveys, 2007 - 2013
- Member of Executive Board(Chair 2010-2012), UKCRC (UK Computing Research Committee), 2007 - 2013
- Councillor, City and Guilds Council
- Associate Editor, Journal of Logic and Computation
- Associate Editor, Software Tools for Technology Transfer
Membership of Professional Bodies
- Member, Association for Computing Machinery
- Fellow and Chartered Engineer, British Computer Society
- Fellow, Institution of Engineering and Technology