معرفی
Chelsea Edmonds is a Postdoctoral Research Associate in the Department of Computer Science at the University of Sheffield, soon to begin as a Lecturer at the University of Western Australia in November 2025. She works on the COVERT grant EPSRC project investigating formal verification and security of concurrent programs, collaborating with Dr. Andrei Popescu and Prof. John Derrick.
Her research interests focus on formalised mathematics, proof assistants (particularly Isabelle/HOL), and formal methods for security and concurrency. She develops modular libraries for formalised mathematics in combinatorics, aiming to mirror human intuitive proof techniques in formal environments.
Her recent publications demonstrate expertise in applying probabilistic methods to combinatorial structures and formalising complex mathematical theorems. She has contributed significantly to the formal verification community through her work on the Lovász Local Lemma and the Balog–Szemerédi–Gowers Theorem.
- British Federation of Women Graduates Academic Award
- Distinguished Paper Award for Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
- Top 10% of accepted papers award
As an Associate Fellow with AdvanceHE, Edmonds is a passionate educator involved in STEM outreach and gender diversity initiatives for Women in STEM. She will be lecturing at the ANU Logic Summer School in December 2025 and the Midlands Graduate School. Her research on the COVERT project aims to develop verification tools for reasoning about security of programs on advanced architectures.
