About 

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

Here my Publications and my Teaching activities contact me for thesis proposals!

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 

• LUCI Lab Seminar series 2026, May 27 2026, invited talk. Title: Extensible Proof-Systems for Modal Logics. 

• Invited Teacher at Perspective and Research in Logic, Advanced Training Course for PhD students, postdocs or young researchers with a Master's degree in Logic or in a related field (https://www.sns.it/it/evento/perspectives-research-logic)

     RECENT EVENTS

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

• 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.