Associate Professor (Reader) · Department of Computing, Imperial College London
I am always eager to hear from prospective PhD students with an interest and strong background in formal methods, software engineering and artificial intelligence. Email me at if you are interested.
Details on how to apply, entry requirements and funding are on the Department of Computing PhD pages. Please check that you meet the entry requirements and are eligible for funding before contacting me.
For available individual and group projects, please refer to the projects portal.
Imperial College also offers UROP placements for undergraduate students. Check the website for the next application deadline. If interested, please contact me by email.
Second year undergraduate module for Computing and Joint Mathematics and Computing.
First year undergraduate module for Computing and Joint Mathematics and Computing.