Teaching
2022 - 2023
- Title of the course: Theory of Computation
- Description: Teaching assistant for the module
- Institution: School of Computer Science, University of Birmingham, UK
- Date: 02/23 - 06/23
2021 - 2022
- Title of the course: Algorithms and Complexity
- Description: Guest lecture for the module, slides
- Institution: School of Computer Science, University of Birmingham, UK
- Date: 04/22
2019 - 2020
- Title of the course: Massive Open Online Courses (MOOC)
- Institution: Department of Pure and Applied Sciences, University of Urbino, Italy
- Description: Massive Open Online Courses (MOOC) for undergraduate students on
lambda calculus, Turing machines and computational complexity. slides
- Date: 02/20 - 04/20
- Title of the course: Logic and Theory of Reasoning
- Institution: Department of Pure and Applied Sciences, University of Urbino, Italy
- Description: Teaching assistant
- Date: 11/19
2018-2019
- Title of the course: Introduction to programming in Java
- Institution: Département d’Informatique, Université Paris Cité, France
- Description: Teaching assistant ("Monitorat")
- Date: 09/18 - 12/18
- Title of the course: Databases
- Institution: Département d’Informatique, Université Paris Cité, France
- Description: Teaching assistant ("Monitorat")
- Date: 09/18 - 12/18
Dissemination
2019 - 2020
- Title of the activity: Che cos'è la computazione
- Institution: Secondary school “E. Mattei” (ITIS) of Urbino, Italy
- Description: I gave a talk addressed to high-school students introducing the notion of computation for an Open Day organised by the project PLS (Piano Lauree Scientifiche)
- Date: 11/19
2016 - 2017
- Title of the activity: Linear Logic and Computation
- Institution: School of Computer Science, University of Turin, Italy
- Description: I presented a poster on my research topic for a Poster Day
- Date: 05/17