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
Publications
10 items
Choreographic Programming: a Semantic Approach
2026
Cited
0
Proof Nets for PiL (Full Version)
2026
Cited
0
Proof Identity and Categorical Models of BV
2026
Cited
0
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
Resume
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