• European Symposium on Research in Computer Security (ESORICS) 2018
  • integrated Formal Methods (iFM) 2018
  • IEEE Transactions on Dependable and Secure Computing (TDSC) 2017/18


  • Fellow of The Higher Education Academy. UK Professional Standards Framework for teaching and learning support in higher education. 2017
  • BSc. Computer Science (Hons), University of Surrey, UK. 2011 - 2015