Personal profile
External positions
Visiting Researcher, The Department of Computer Science and Technology, University of Cambridge
Sept 2023 → …
College Research Associate, University of Cambridge, Clare College
Oct 2020 → Sept 2025
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
-
Towards a Common Framework for Autoformalization
Mensfelt, A., Tena Cucala, D., Franco, S., Koutsoukou-Argyraki, A., Trencsenyi, V. & Stathis, K., 14 Mar 2026, Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 40. p. 40971-40980 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
A Formalisation of Aristotle’s Assertoric Syllogistic in Isabelle/HOL
Koutsoukou-Argyraki, A. & Wapniarski, K., 18 Apr 2025, In: Topoi: An International Review of Philosophy.Research output: Contribution to journal › Article › peer-review
Open Access -
Transitive Union-Closed Families (Formal proof development)
Koutsoukou-Argyraki, A. & Paulson, L. C., Jan 2025, In: Archive of Formal Proofs.Research output: Contribution to journal › Article › peer-review
Open Access -
Formalising Mathematics with Proof Assistants (Invited tutorial)
Koutsoukou-Argyraki, A., 2024.Research output: Contribution to conference › Abstract › peer-review
-
Wooley's Discrete Inequality (Formal proof development)
Koutsoukou-Argyraki, A., Oct 2024, In: Archive of Formal Proofs.Research output: Contribution to journal › Article › peer-review
Open Access