Angeliki Koutsoukou-Argyraki -

Registered user since Fri 8 Aug 2025

Name:Angeliki Koutsoukou-Argyraki

Country:United Kingdom

Affiliation:Royal Holloway, University of London

Contributions

2026

CPP

Committee Member in Program Committee within the CPP 2026-track

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