These are some of my internal management duties and external services to the academic community.


  • Deputy Head, Computing and Communications Department, 2013/14
  • Head, Computing Department, 2012/13
  • Member of the university's internal Computing REF panel, 2010–2013
  • Director of Research, Computing Department, 2008
  • Manager of the equipment budget, Computing Department, 2005–2012



Editorial activity

  • Co-editor of a TCS issue and a STTT issue with revised papers selected from FASE’04 and FASE’05, 2007
  • Co-editor of a JSME issue with revised papers selected from the Workshop on Formal Foundations of Software Evolution, 2002