معرفی
Matteo Acclavio is an Assistant Professor in Computer Science at the School of Engineering and Informatics, University of Sussex, affiliated with the Foundations of Software Systems (FoSS) research group. A logician specializing in proof theory and its applications to computer science, his work bridges mathematical logic with concurrency theory and process calculi.
- Education:
- PhD in Mathematics, Aix-Marseille University, France
- Master in Discrete Mathematics and Foundations of Theoretical Computer Science, Aix-Marseille University
- Master in Mathematics, Roma Tre University, Italy
- Bachelor in Mathematics, Roma Tre University
His research focuses on graphical proof systems, linear logic, modal logic, and concurrency theory. Publications highlight contributions to deep inference, sequent calculus, and the intersection of logic with distributed systems.
Recent work explores logical frameworks for concurrency, such as choreographic programming, and graphical models for proof systems. He teaches courses like Operating Systems and maintains active collaborations in theoretical computer science.
