conf.researchr.org / Chelsea Edmonds
Registered user since Tue 6 Dec 2022
Name:Chelsea Edmonds
Bio:
Currently a Lecturer at the University of Western Australia working on research in proof assistants, formal verification, concurrency, security, and formalised mathematics. Previously was a Postdoctoral Research Associate in the Department of Computer Science at the University of Sheffield from 2023 - 2025 working on the COVERT EPSRC project. I submitted my PhD thesis on formalised mathematics in Isabelle/HOL at the University of Cambridge in September 2023, supervised by Prof. Lawrence Paulson.
Country:Australia
Affiliation:The University of Western Australia
Personal website: https://cledmonds.github.io/
X (Twitter): https://x.com/chelsealedmonds
Research interests:Verification, Security, Proof Assistants, Mathematical Formalisation
Contributions