Matteo Acclavio is a Postdoc at IMADA, University of Southern Denmark.
He holds a PhD in Mathematics (Logic) and his research focuses on Proof Theory and its applications.
His interests also include graphical formalisms, programming language theory, as well as teaching and scientific communication of mathematics and computer science.
He holds a PhD in Mathematics (Logic) and his research focuses on Proof Theory and its applications.
His interests also include graphical formalisms, programming language theory, as well as teaching and scientific communication of mathematics and computer science.
