![Chelsea Edmonds](https://popl23.sigplan.org/getProfileImage/chelseaedmonds/025d0a65-18a2-405d-b73e-112f8d225457/small.jpg?1713198847000)
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