Meet ApplyKite Twin, the application assistant that learns with you
Meet your Twin, it learns with you
Your Twin learns with you
Launch week codes:30% off annual Pro20% off monthly Pro
Ends in00h00m00s
Ends in00h00m00s
Alex Kavvos
Has grant
Lecturer in Programming Languages
Research Interests
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
Lars Birkedal
Aarhus University
Eddie Jones
Lecturer in Programming Languages and Compilers
University of Bristol
Make your next move.
Prepare your application
Review drafts before you send them.