About 

I'm a mathematician with a strong background in theoretical computer science. I primarily work in proof theory and lambda calculus and I'm also interested in mathematical foundations of quantum and non-classical computations and in constructive mathematics. 

Here my Publications and my Teaching activities 

Here my full CV   and my scientific qualifications

Download here my (long!) foundational paper about quantum lambda calculus :)

Email:   firstname.surname@univr.it 

NEWS

• I'm part of the Scientific and Organizing Committee of PACM/\N 26 (Verona, June 10-12 2026): Website 

• I am part of the program committee for Computer Science Logic CSL 2026:  Website 

     RECENT EVENTS

• I was part of the program committee for Quantum Physics and Logic QPL 2025: Website 

• I was part of the program committee of  Trends in Linear Logic and Application-TLLA 2025: Websiste 

• I was part of the Scientific and Organizing Committee of PACM/\N 25 (Rome, may 14-16 2025): Website 

• I was part of ICTCS 2024 (Turin, September 11-13th,  2024) Website 

• PhD Course in Foundations of Quantum Languages.