Alex Kavvos

About

Interests: logical and algebraic approaches to Computer Science: theory and semantics of programming languages; (homotopy) type theory; category theory and its applications; formal models of security.

Work

The University of Bristol
|

Academic , Senior Lecturer

United Kingdom of Great Britain and Northern Ireland

→

University of Bristol
|

Lecturer in Programming Languages

United Kingdom of Great Britain and Northern Ireland

→

Aarhus University
|

Postdoc

Denmark

→

Wesleyan University
|

Postdoctoral Research Associate

US

→

University College, Oxford
|

Non-stipendiary Lecturer in Computer Science

United Kingdom of Great Britain and Northern Ireland

→

Education

University of Oxford
United Kingdom of Great Britain and Northern Ireland

→

DPhil in Computer Science

University of Oxford
United Kingdom of Great Britain and Northern Ireland

→

MCompSci in Computer Science

Publications

Two-dimensional Kripke Semantics II

Published by

Electronic Notes in Theoretical Informatics and Computer Science (ENTICS)

Summary

conference-paper

Two-dimensional Kripke Semantics I

Published by

9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)

Summary

conference-paper

UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC

Published by

The Bulletin of Symbolic Logic

Summary

journal-article

Under Lock and Key

Published by

Bulletin of Symbolic Logic

Summary

journal-article

Deeper Shallow Embeddings

Published by

13th International Conference on Interactive Theorem Proving (ITP 2022)

Summary

conference-paper

Syllepsis in Homotopy Type Theory

Published by

Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022

Summary

conference-paper

Modalities and Parametric Adjoints

Published by

ACM Transactions on Computational Logic

Summary

journal-article

Modalities and Parametric Adjoints

Published by

ACM Transactions on Computational Logic

Summary

journal-article

Intensionality, Intensional Recursion, and the Gödel–Löb Axiom

Published by

IfCoLoG Journal of Logics and their Applications

Summary

journal-article

Client-Server Sessions in Linear Logic

Published by

Proceedings of the ACM on Programming Languages

Summary

journal-article

Client-server sessions in linear logic

Published by

Proceedings of the ACM on Programming Languages

Summary

journal-article

Multimodal Dependent Type Theory

Published by

Logical Methods in Computer Science (LMCS)

Summary

journal-article

Dual-Context Calculi for Modal Logic

Published by

Logical Methods in Computer Science (LMCS)

Summary

journal-article

Dual-context calculi for modal logic

Published by

Logical Methods in Computer Science

Summary

journal-article

Multimodal Dependent Type Theory

Published by

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020

Summary

conference-paper

Recurrence extraction for functional programs through call-by-push-value

Published by

Proceedings of the ACM on Programming Languages

Summary

journal-article

Modalities, cohesion, and information flow

Published by

Proceedings of the ACM on Programming Languages

Summary

journal-article

On the Semantics of Intensionality and Intensional Recursion

Published by

University of Oxford

Summary

dissertation-thesis

Dual-Context Calculi for Modal Logic

Published by

2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Summary

conference-paper

On the Semantics of Intensionality

Published by

Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017)

Summary

conference-paper