معرفی
Matteo Acclavio is an Assistant Professor in Computer Science (Informatics) at the School of Engineering and Informatics, University of Sussex. He holds a PhD in Mathematics from Aix-Marseille University and advanced degrees in Discrete Mathematics and Theoretical Computer Science.
- PhD in Mathematics (2020), Aix-Marseille University
- Master in Discrete Mathematics and Foundations of Theoretical Computer Science (2017), Aix-Marseille University
- Master in Mathematics (2015), Roma Tre University
- Bachelor in Mathematics (2012), Roma Tre University
His research focuses on proof theory and its applications, particularly in linear logic, graphical proof systems, and concurrency. He has contributed to the development of proof-theoretic frameworks for reasoning about concurrent processes and logical time.
Recent publications span topics like intuitionistic BV logic, deadlock-freedom in choreographic programming, and generalized connectives in linear logic, reflecting his interdisciplinary approach bridging mathematics and computer science.
He teaches courses such as Operating Systems and supervises research in theoretical computer science.
