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
-
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 AccessFile2 Downloads (Pure) -
Two-dimensional Kripke Semantics I: Presheaves
Kavvos, G. A., 5 Jul 2024, 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024). Rehof, J. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Vol. 299. 23 p. 14. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 299).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile67 Downloads (Pure) -
Two-dimensional Kripke Semantics II: Stability and Completeness
Kavvos, G. A., 15 Dec 2024, Electronic Notes in Theoretical Informatics and Computer Science (ENTICS). Vol. 4. 20 p. (Electronic Notes in Theoretical Informatics and Computer Science (ENTICS)).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile52 Downloads (Pure)
-
Language Embeddings for Proof Engineering
Kavvos, A. (Principal Investigator)
1/12/23 → 30/11/25
Project: Research
-
Towards Concurrent Classical Effects
Kavvos, A. (Principal Investigator)
1/12/23 → 31/05/25
Project: Research
-
Towards Directed Model Categories
Kavvos, A. (Principal Investigator)
1/03/24 → 30/11/24
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