Angeliki Koutsoukou-Argyraki -

Not registered as user

Name:Angeliki Koutsoukou-Argyraki

Country:United Kingdom

Affiliation:University of Cambridge, Department of Computer Science and Technology

Contributions

2023

CPP

Author of A Formalisation of the Balog–Szemerédi–Gowers Theorem in Isabelle/HOL within the CPP 2023-track

2021

CPP

Committee Member in Program Committee within the CPP 2021-track