POPL 2023
Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States
POPL 2023 (series) / Chelsea Edmonds
Chelsea Edmonds

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
Twitter:https://twitter.com/chelsealedmonds
Research interests:Verification, Proof Assistants, Mathematical Formalisation

Contributions

POPL 2023 Session Chair of Wednesday Lunch Session Preview (part of Session Previews)
CPP 2023 A Formalisation of the Balog–Szemerédi–Gowers Theorem in Isabelle/HOL
Show activities from other conferences

POPL 2023-profile
View general profile