Research output per year
Research output per year
Personal profile
Research interests
Programming languages, type theory, logic, semantics, proofs, category theory and its applications
Research Groups and Themes
- Programming Languages
Fingerprint
Dive into the research topics where Alex Kavvos is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
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
Research output
-
Domain-Theoretic Semantics for Functional Logic Programming
Jones, E., Main, S. S., Li, C., Marriott, J. & Kavvos, G. A., 8 Jan 2026, In: Proceedings of the ACM on Programming Languages. 10, POPL, p. 1641-1672 32 p., 57.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open AccessFile6 Downloads (Pure) -
Adequacy for Algebraic Effects Revisited
Kavvos, G. A., 9 Apr 2025, In: Proceedings of the ACM on Programming Languages. 9, OOPSLA1, p. 927 - 955 29 p., 113.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open AccessFile3 Citations (Scopus)82 Downloads (Pure) -
Noninterference through Bisimulation
Tune, A., Yang, W. & Kavvos, G. A., 5 Oct 2025, Trends in Functional Programming: TFP 2025. Gibbons, J. (ed.). Cham: Springer, Cham, p. 259-280 22 p. (Lecture Notes in Computer Science; vol. 15652).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile13 Downloads (Pure)
-
Relational Dualities for Program Logics
Kavvos, A. (Principal Investigator)
1/10/25 → 30/09/26
Project: Research
-
Towards Concurrent Classical Effects
Kavvos, A. (Principal Investigator)
1/12/23 → 31/05/26
Project: Research
-
Two-dimensional Kripke Semantics and World Models
Kavvos, A. (Principal Investigator)
15/09/24 → 14/09/25
Project: Research
Prizes
-
-
-
ICFP Distinguished Paper Award
Qian, Z. (Recipient), Kavvos, A. (Recipient) & Birkedal, L. (Recipient), 13 Sept 2021
Prize: Prizes, Medals, Awards and Grants