Research output per year
Research output per year
Personal profile
External positions
Visiting Researcher, The Department of Computer Science and Technology, University of Cambridge
College Research Associate, University of Cambridge, Clare College
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Formalising Mathematics with Proof Assistants (Invited tutorial)
Koutsoukou-Argyraki, A., 2024.Research output: Contribution to conference › Abstract › peer-review
-
A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL
Koutsoukou-Argyraki, A., Bakšys, M. & Edmonds, C., 11 Jan 2023, CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023. Krebbers, R., Traytel, D., Pientka, B. & Zdancewic, S. (eds.). Association for Computing Machinery, Inc, p. 225-238 14 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Formalisation of Additive Combinatorics in Isabelle/HOL (Invited Talk)
Koutsoukou-Argyraki, A., 26 Jul 2023.Research output: Contribution to conference › Abstract › peer-review
Open Access -
Polygonal Number Theorem (Formal proof development)
Lee, K., Ye, Z. & Koutsoukou-Argyraki, A., Aug 2023, In: Archive of Formal Proofs.Research output: Contribution to journal › Article › peer-review
Open Access -
Formalising Szemerédi’s Regularity Lemma and Roth’s Theorem on Arithmetic Progressions in Isabelle/HOL
Edmonds, C., Koutsoukou-Argyraki, A. & Paulson, L. C., 19 Dec 2022, In: Journal of Automated Reasoning. 67, 1, 21 p., 2.Research output: Contribution to journal › Article › peer-review
Open Access