Personal Statement
I am a Professor at the University of Liverpool and the Head of the Cybersecurity Institute.

I am also the Head of the Verification Group and affiliated with the Economics and Computation Group.

I graduated with a PhD from the University of Edinburgh at the beginning of 2009 and worked that year as a postdoc at Centrum Wiskunde & Informatica (CWI) in Amsterdam. After that I was an EPSRC Postdoctoral Fellow at the University of Oxford and a member of the Quantitative Analysis and Verification group.