Awards
- Outstanding Research Award, ACM SIGSOFT, 2005
- Brendan Murphy Memorial Prize for the Best paper in Distributed Systems, BCS, 1999
- Informatics Premium prize, IEE, 1999
External Positions
- Associate Editor, ACM Transactions on Software engineering and Methodology (TOSEM)
- Program Committee Member, International Conference on Software Engineering (ICSE) 2006
Membership of Professional Bodies
- Fellow of The Royal Academy of Engineering, Royal Academy of Engineering, 2013
- Chartered Fellow, British Computer Society