About
Chelsea Edmonds is a Researcher in the Department of Computer Science at the University of Sheffield, working on the COVERT project focusing on formal verification and security. She completed her PhD at the University of Cambridge under Prof. Larry Paulson, formalising combinatorial structures in Isabelle/HOL. Previously, she was a Software Engineer at Boeing Australia and holds a dual degree from the University of Queensland.
Education:
- PhD in Computer Science (University of Cambridge), 2024
- Bachelor of Engineering (Software) & Bachelor of Science (Mathematics), University of Queensland, 2017 (First Class Honours, University Medal)
Research Interests: Formal methods, proof assistants, combinatorial mathematics formalisation, security verification, and HCI aspects of theorem proving tools. Key contributions include probabilistic combinatorial formalisation and modular library design in Isabelle/HOL.
Publications: Over 10 peer-reviewed papers, including work on the Lovász Local Lemma, Balog-Szemerédi-Gowers theorem, and Fisher’s inequality formalisation. Her research bridges theoretical mathematics and applied verification.
Awards: Cambridge Australia Scholarship, British Federation of Women Graduates Academic Award, Distinguished Paper at CPP 2024. Active in outreach, including leadership roles in Women@CL and Robogals.
