Dr Alex Kavvos
MCompSci Oxf, DPhil Oxf
Expertise
I am interested in programming languages and their semantics. This often involves using tools from mathematics in order to reason about the behaviour of programs. I am also interested in type theory and category theory.
Current positions
Associate Professor in Logic and Programming Languages
School of Computer Science
Contact
Press and media
Many of our academics speak to the media as experts in their field of research. If you are a journalist, please contact the University’s Media and PR Team:
Biography
I read Computer Science and completed my doctoral studies at the University of Oxford (MCompSci 2013, DPhil 2017). Following that I was a postdoctoral researcher at Wesleyan University in the United States, and Aarhus University in Denmark.
Research interests
Programming languages, type theory, logic, semantics, proofs, category theory and its applications
Projects and supervisions
Research projects
Relational Dualities for Program Logics
Principal Investigator
Managing organisational unit
School of Computer ScienceDates
01/10/2025 to 30/09/2026
Two-dimensional Kripke Semantics and World Models
Principal Investigator
Managing organisational unit
School of Computer ScienceDates
15/09/2024 to 14/09/2025
Towards Directed Model Categories
Principal Investigator
Managing organisational unit
School of Computer ScienceDates
01/03/2024 to 30/11/2024
Language Embeddings for Proof Engineering
Principal Investigator
Managing organisational unit
School of Computer ScienceDates
01/12/2023 to 30/11/2025
Towards Concurrent Classical Effects
Principal Investigator
Managing organisational unit
School of Computer ScienceDates
01/12/2023 to 31/05/2026
Publications
Recent publications
16/04/2026Relational Dualities and Bisimulation: 11th International Conference on Formal Structures for Computation and Deduction - International Conference on Formal Structures for Computation and Deduction Proceedings
11th International Conference on Formal Structures for Computation and Deduction
Bimodels and Biorthogonality for Abstract Machines: ACM International Conference in Functional Programming
Proceedings of the ACM on Programming Languages
Contextual Embeddings: 47th ACM SIGPLAN Conference on Programming Language Design and Implementation
Proceedings of the ACM on Programming Languages
Domain-Theoretic Semantics for Functional Logic Programming: 53rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026)
Proceedings of the ACM on Programming Languages
Noninterference through Bisimulation: 26th International Symposium on Trends in Functional Programming - Lecture Notes in Computer Science
Trends in Functional Programming
