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
Research interests:Verification, Security, Proof Assistants, Mathematical Formalisation

Contributions