Chelsea L. Edmonds

Research Associate @ University of Sheffield. Cambridge Australia Scholar. PhD BE (Hons I) BSc AFHEA AMusA

prof_pic_ce.jpg

Department of Computer Science

Regent Court

University of Sheffield

Sheffield, UK

Welcome! I’m Chelsea, a postdoctoral Research Associate in Verification at the University of Sheffield. My primary research interests are formalised mathematics, proof assistants (particularly Isabelle/HOL), and formal methods for security and concurrency. In my current position, I’m working on the COVERT project to develop verification tools and models for reasoning on the security of programs running on advanced architectures.

Previously, I completed my PhD at the University of Cambridge under the supervision of Prof. Lawrence C. Paulson. My PhD explored how we can develop modular, flexible and extensible libraries for formalised mathematics (particularly combinatorics) in Isabelle/HOL, and the process for mirroring human intuitive proof techniques in a formal environment. I’m grateful to have been fully funded by a Cambridge Australia Scholarship and a studentship from the Department of Computer Science. My PhD work was further acknowledged by a British Federation of Women Graduates Academic Award.

Beyond my research, I’m a passionate educator and an Associate Fellow with AdvanceHE. I’ve been involved in numerous STEM outreach events and organisations, as well as gender diversity initiatives for Women in STEM.

Recent News

Oct 26, 2024 I’m officially a Dr! My PhD was awarded during the Cambridge October graduation ceremonies.
Sep 30, 2024 I attended the 11th Heidelberg Laureates Forum at the end of September - an amazing week of learning, networking, and great conversations. As part of the event, I was also selected to be one of 30 young researchers to participate in the “Poster Flash” session, a cool opportunity to present my PhD work in a new and widely accessible way. My two minute flash talk from the session is available online.
Jun 14, 2024 I was invited to give a talk on my PhD work at a EuroProofNet workshop on Proof Systems for Mathematics and Verification at EPFL. Great event, thank you very much to the organisers for hosting and the invitation!
Jun 05, 2024 I’ve been officially approved for my PhD degree, following approval of minor corrections and final submission.

Selected Publications

  1. ACM
    Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
    Chelsea Edmonds, and Lawrence C. Paulson
    In Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, London, UK, 2024