MobilityReadingGroup

π-calculus, Session Types research at the University of Oxford

Jessica Richards

PhD Student

I am a PhD student at the University of Oxford. Previously I completed an MMathCompSci at Oxford, with a master’s dissertation on denotational semantics of lambda calculi. Currently I am working on security of cryptographic protocols and denotational semantics for concurrency.

Publications

2025

Max Fan, Chase Ford, Jonas Forster, Jón Hákon Garðarsson, Justin Hsu, Jessica Richards: Towards an Axiomatisation of the Neighborhood Monad. BMQL 2025 .