@UNIBO

Most of his teaching duties are within undergraduate and graduate programs in Computer Science and within the Master Program in Artificial Intelligence, all at the University of Bologna. More info in his webpage at UNIBO.

PhD Courses

The following is a selection of the PhD courses he has given in the recent past:

• About Randomized Programming and Rewriting, 14th International School on Rewriting, Obergurgl, Austria, August-September 2024.
• On Randomization in (Higher-Order) Programming, ECI, University of Buenos Aires, Argentina, July 2023.
• From Program Equivalences to Program Metrics, OPLSS, University of Oregon, USA, July 2021.
• Introduction to the Theory of Quantum Computing, University of Bologna, Italy, July 2020.
• Implicit Complexity, Caleidoscope Summer School, Paris, France, June 2019.
• Lambda Calcolo e Teoria dei Tipi, Scuola Estiva di Logica, Gargnano, Italy, August 2018.
• A Brief Introduction to Probabilistic and Quantum Programming, Universidade do Minho, Portugal, May 2017.
• Implicit Complexity and the Curry-Howard Correspondence, University of Lisbon, Portugal, January 2016.
• From Implicit Complexity to Quantitative Resource Analysis, University of Warsaw, Poland, June 2015.