Ollie Pearce

PhD student at Royal Holloway, University of London.

oliver.pearce.2020@live.rhul.ac.uk  ·  CV  ·  GitHub

About

I'm a second year PhD student supervised by Julien Lange and Dan O'Keeffe, working on verification for concurrent Rust code.

Rust's type system prevents data races in safe code, but that guarantee rests on unsafe code the compiler trusts without checking. My research focuses on building tools for verifying these assumptions automatically across the Rust ecosystem.

Papers

RustMC: Automated Verification of Real-World Concurrent Rust

Oliver Pearce, Julien Lange, Dan O'Keeffe — FORTE 2026

PDF DOI Artefact

Talks

Automated Detection of Concurrency Bugs in Rust

VeTSS Summer School 2026 (lightning talk) — Exeter, UK

Slides

RustMC: Automated Verification of Real-World Concurrent Rust

FORTE 2026, DisCoTec — Urbino, Italy

Slides

Writing

DisCoTec 2026, Urbino, Italy

RHUL Cyber Security CDT blog

Read

Advisories

Further disclosures in progress.

Get in touch

If you work on Rust verification, stateless model checking, or LLVM-IR semantics, I'd love to hear from you! You can reach me at: oliver.pearce.2020@live.rhul.ac.uk.