The Kube framework that my web site was based on has become obsolete. Given the simplicity of this site I decided to write my own stylesheet and to rely on Frow CSS for just grids and buttons. Make sure you empty the cache of your browser if these pages look odd.
This year I taught the lab sessions of my course on functional programming online. I prepared some lecture notes mixing cards (small pages focusing on a single Haskell feature) and case studies (large exercises solving a programming problem). The final version of the notes is publicly available on GitHub. Thanks to all the students who provided feedback and notified me of errors.
While updating my home page and the repositories of my software projects I thought it would be a good idea to move FuSe (Padovani, 2017) on GitHub, making it easier for anyone interested to use it and possibly contribute further developments.
The paper A Dependently Typed Linear π-Calculus in Agda (Ciccone & Padovani, 2020), written with Luca Ciccone, has been accepted to PPDP 2020. The submitted version of the paper is available here and Luca Ciccone has already given a talk about DLπ at the VEST 2020 workshop.
I'm associate professor at the Computer Science Department of the University of Torino. ¶ My research interests lie in the areas of programming languages, type systems and concurrency theory. ¶ I'm the contact person of the FORMS research group on Formal Methods for Software Development.