Your Twin learns with you

30% off annual Pro20% off monthly Pro

Ends in00h00m00s

Alex Kavvos

Has grant

Lecturer in Programming Languages

University of Bristol
Country flagUnited Kingdom

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Recent Grants

Grant: Close

Two-dimensional Kripke Semantics and World Models

Open Date: 2025-10-01

Close Date: 2026-10-01

Grant: Close

Towards Directed Model Categories

Open Date: 2024-01-01

Close Date: 2024-11-01

Grant: Close

Language Embeddings for Proof Engineering

Open Date: 2023-01-01

Close Date: 2025-01-01

Grant: Close

Towards Concurrent Classical Effects

Open Date: 2023-01-01

Close Date: 2025-01-01

Grant: Close

Pump priming grant

Open Date: 2022-01-01

Close Date: 2022-01-01

Articles (8)

Year:

2026

Year:

2026

Year:

2025

Year:

2023

Year:

2022

Year:

2021

Year:

2021

Year:

2020

Collaborators (3)

Daniel Gratzer

Assistant Professor

Aarhus University

DENMARK
View details

Lars Birkedal

Aarhus University

DENMARK
View details

Eddie Jones

Lecturer in Programming Languages and Compilers

University of Bristol

UNITED KINGDOM
View details