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

Matteo Acclavio

University of Southern Denmark

Denmark

Research Interests

Articles (9)

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2025

Year:

2022

Year:

2022

Year:

2021

Year:

2021

Collaborators (3)

Giulio Guerrieri

Lecturer

University of Sussex

UNITED KINGDOM

View details

Fabrizio Montesi

Professor

University of Southern Denmark

DENMARK

View details

Marco Peressotti

Associate Professor

University of Southern Denmark

DENMARK

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Matteo Acclavio

Research Interests

Articles (9)

On Propositional Dynamic Logic and Concurrency

Intuitionistic BV

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations

Proof Nets for PiL

Formulas as Processes, Deadlock-Freedom as Choreographies

An Analytic Propositional Proof System on Graphs

A Graphical Proof Theory of Logical Time

A Deep Inference System for Differential Linear Logic

Exponentially Handsome Proof Nets and Their Normalization

Collaborators (3)

Giulio Guerrieri

Fabrizio Montesi

Marco Peressotti

Make your next move.