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
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/2025
Publications
Recent publications
09/04/2025Adequacy 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)
Under Lock and Key
Bulletin of Symbolic Logic
Deeper Shallow Embeddings
13th International Conference on Interactive Theorem Proving (ITP 2022)