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

Niccolò Veltri

Assistant Professor

Tallinn University of Technology

Estonia

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Articles (10)

Year:

2026

Year:

2026

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2023

Year:

2023

Year:

2023

Collaborators (2)

Tarmo Uustalu

Full professor

ESTONIA

View details

Fosco Loregian

Assistant Professor in Categorical Foundations and Their Applications

Tallinn University of Technology

ESTONIA

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Niccolò Veltri

Research Interests

Make your next move.

Articles (10)

Di- is for Directed: First-Order Directed Type Theory via Dinaturality

An Agda Formalization of Nonassociative Lambek Calculus and its Metatheory

Monoid Structures on Indexed Containers

Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories

Craig Interpolation for a Semi-Substructural Logic

Data Types with Symmetries via Action Containers

Semi-Substructural Logics with Additives

Constructive Final Semantics of Finite Bags

Formalizing CCS and π-calculus in Guarded Cubical Agda

Maximally Multi-focused Proofs for Skew Non-Commutative MILL

Collaborators (2)

Tarmo Uustalu

Fosco Loregian

Make your next move.