These are my personal web pages at the University of Reading. Currently, there is not much to see here, but this may change in time.
I am currently looking for new PhD students. I do not currently have any grants, so you would need to find your own funding, whether from a scholarship or from your own savings.
I have posted some adverts of proposed projects on findaphd.com. If one of those interests you, please contact me, making clear that you understand the content of the project and have the necessary background knowledge.
I am also happy to consider PhD applications from students who have their own project idea, provided it aligns roughly with my areas of research interests (primarily, verification, logic, program analysis and their applications).