Registered user since Tue 6 Dec 2022
Name:Chelsea Edmonds
Country:United Kingdom
Affiliation:University of Cambridge
Personal website: https://www.cst.cam.ac.uk/people/cle47
X (Twitter): https://x.com/chelsealedmonds
Research interests:Verification, Proof Assistants, Mathematical Formalisation
Contributions
POPL 2023-profile
View general profile
View general profile