
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
Senior Lecturer
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
08/01/2026Domain-Theoretic Semantics for Functional Logic Programming
Proceedings of the ACM on Programming Languages
Noninterference through Bisimulation
Trends in Functional Programming
Adequacy for Algebraic Effects Revisited
Proceedings of the ACM on Programming Languages
Two-dimensional Kripke Semantics I
9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)
Two-dimensional Kripke Semantics II
Electronic Notes in Theoretical Informatics and Computer Science (ENTICS)