Projects per year
Personal profile
Research interests
Programming languages, type theory, logic, semantics, proofs, category theory and its applications
Structured keywords and research groupings
- 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
Projects
- 1 Not started
Research output
-
Under Lock and Key: A Proof System for a Multimodal Logic
Kavvos, G. A. & Gratzer, D., 20 Apr 2023, (E-pub ahead of print) In: Bulletin of Symbolic Logic. 29, 2, p. 264-293 30 p.Research output: Contribution to journal › Article (Academic Journal) › peer-review
-
Deeper Shallow Embeddings
Prinz, J., Kavvos, G. A. & Lampropoulos, L., 3 Aug 2022, 13th International Conference on Interactive Theorem Proving (ITP 2022). Andronick, J. & de Moura, L. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Vol. 237. p. 28:1-28:18 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 237).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile34 Downloads (Pure) -
Modalities and Parametric Adjoints
Gratzer, D., Cavallo, E., Kavvos, G. A., Guatto, A. & Birkedal, L., 1 Jul 2022, In: ACM Transactions on Computational Logic. 23, 3, p. 1-29 18.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open AccessFile2 Citations (Scopus)127 Downloads (Pure)
Prizes
-
-
-
ICFP Distinguished Paper Award
Qian, Zesen (Recipient), Kavvos, Alex (Recipient) & Birkedal, Lars (Recipient), 13 Sept 2021
Prize: Prizes, Medals, Awards and Grants