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

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 with Dr. Andrei Popescu and Prof. John Derrick (as well as collaborators at Surrey and Kent), which aims 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
Sep 15, 2025 | I’ve accepted a continuing position as a Lecturer (equiv. Assistant Professor) at the University of Western Australia, and will be starting in November. Very excited to be moving home to Australia after 6 incredible years in the UK, and thankful to all those who supported me to get here! |
---|---|
Sep 01, 2025 | I’m looking forward to being a lecturer at the ANU Logic Summer School in December this year! An abstract for my course is now available on the website, and registration is open. |
Jul 15, 2025 | I was invited to give a talk on Formalised Mathematics in Isabelle/HOL at Heidelberg University as part of their Research Seminar series on Formal Mathematics. Thank you to Florent Schaffhauser and Judith Ludwig for hosting - exciting to also hear about some of the current work in that group and to continue to see formal maths becoming a central part of mathematics departments! |
Feb 18, 2025 | I’ll be a lecturer at this years Midlands Graduate School (MGS). Registration is now open. For more information see the MGS website. Information on my course will be provided here. |