Awards
- Imperial College President’s Awards for Excellence in Research Supervision, Imperial College London, 2019
External Positions
- Chair, Awards Committee of the BCS Academy of Computing for the Lovelace medal and the Roger Needham award (mid-career) for Computer Science, BCS Academy of Computing, 2013 - 2018
- Committee member, Royal Society International Fellowship scheme Committee, Royal Society, 1999 - 2009
Editorial Boards
- Journal on Foundations and Trends in Programming Languages, Editor