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

Daniel Gratzer

Assistant Professor

Aarhus University

Denmark

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Articles (9)

Year:

2026

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2023

Year:

2023

Collaborators (3)

Jonathan Sterling

Associate Professor

University of Cambridge

UNITED KINGDOM

View details

Carlo Angiuli

Assistant Professor

Indiana State University

UNITED STATES

View details

Alex Kavvos

Lecturer in Programming Languages

University of Bristol

UNITED KINGDOM

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Daniel Gratzer

Research Interests

Make your next move.

Articles (9)

The ∞-Category of ∞-Categories in Simplicial Type Theory

Controlling unfolding in type theory

A Modal Deconstruction of Löb Induction

Idempotent Resources in Separation Logic

The Yoneda embedding in simplicial type theory

The category of iterative sets in homotopy type theory and univalent foundations

Towards Univalent Reference Types

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

mitten

Collaborators (3)

Jonathan Sterling

Carlo Angiuli

Alex Kavvos

Make your next move.