conf.researchr.org / Chelsea Edmonds
Registered user since Tue 6 Dec 2022
Name:Chelsea Edmonds
Bio:
Currently a Postdoctoral Research Associate in the Department of Computer Science at the University of Sheffield working on the COVERT grant EPSRC project which is investigating elements of formal verification and security of concurrent programs. 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:United Kingdom
Affiliation:University of Sheffield
Personal website: https://cledmonds.github.io/
X (Twitter): https://x.com/chelsealedmonds
Research interests:Verification, Security, Proof Assistants, Mathematical Formalisation
Contributions