Personal profile
Personal profile
PhD student at Royal Holloway's Centre for Doctoral Training, under the supervision of Julien Lange and Daniel O'Keefe
Research interests
Static and dynamic program analysis, specifically the verification of concurrent Rust programs and their mixed language dependencies