POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Chelsea Edmonds

Registered user since Tue 6 Dec 2022

Name:Chelsea Edmonds

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


Show activities from other conferences

POPL 2024-profile
View general profile