PhD current working title of project: Logics and tools for safe fine-grained concurreny.
Research interests: Verification of low-level concurrency. Specifically using lightweight formal methods to build tools for automatically verifying challenging concurrent algorithms and data structures.
Country of origin: England
Institution/country where you studied your undergraduate/masters degree(s): MEng Computer Systems and Software Engineering, University of York, UK.