Chelsea Edmonds

Registered user since Tue 6 Dec 2022

Name:Chelsea Edmonds
Country:United Kingdom
Affiliation:University of Cambridge
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