Matteo Acclavio
Scholar

Matteo Acclavio

Google Scholar ID: R5Oy8AIAAAAJ
University of Sussex
Proof Theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
177
 
H-index
9
 
i10-index
8
 
Publications
20
 
Co-authors
7
list available
Contact
No contact links provided.
Publications
7 items
Probabilistic Linear Logic Programming with an application to Bayesian Networks computations
2026
Cited
0
Intuitionistic BV (Extended version)
2025
Cited
0
Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version)
2025
Cited
0
Proofs as Execution Trees for the {pi}-Calculus
2024
Cited
0
Non-wellfounded parsimonious proofs and non-uniform complexity
arXiv.org · 2024
Cited
0
On Propositional Dynamic Logic and Concurrency
arXiv.org · 2024
Cited
3
Infinitary cut-elimination via finite approximations
Annual Conference for Computer Science Logic · 2023
Cited
5
Resume (English only)
Research Experience
  • Lecturer in Computer Science at the FoSS group of the University of Sussex.
Background
  • A logician working in proof theory and its applications.
Co-authors
7 total
Lutz Straßburger
Lutz Straßburger
Inria
Giulio Guerrieri
Giulio Guerrieri
Department of Computer Science, University of Bath
Davide Catta
Davide Catta
LIPN
Gianluca Curzi
Gianluca Curzi
University of Birmingham
Roberto Maieli
Roberto Maieli
Dipartimento di Matematica e Fisica - Università Roma Tre
Sjouke Mauw
Sjouke Mauw
Professor in Security and Trust of Software Systems, University of Luxembourg
Federico Olimpieri
Federico Olimpieri
Aix-Marseille University