I am a lecturer (~Assistant Professor in US terminology) in the School of Informatics at the University of Edinburgh.
I am interested in program synthesis techniques and the use of synthesis to increase the scalability of verification.
Previously, I was a postdoctoral research scholar in Professor Sanjit Seshia's group
at the University of California, Berkeley.
I completed my PhD at the University of Oxford, supervised by Professor Alessandro Abate. My PhD research focused
on extending the capabilities of program synthesisers to be able to synthesise programs without the need for syntactic templates.
My thesis is available here.
Candidates interested in
the areas of software verification and program synthesis should get in contact with a CV. Information on scholarships at the School of Informatics in Edinburgh can be found here.
The video of my recent talk on Synthesis Modulo Oracles at VMCAI'22 is now online.
Contact me at firstname.lastname@example.org.