Teaching
- Description: Teaching (co-lectured with Graham Leigh)
- Institution: Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden
- Date: 11/25 - 12/25
Logical Theories
- Description: Teaching (module leader)
- Institution: Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden
- Date: 09/25 - 10/25
Lambda Calculus and Foundations of Programming Languages
- Description: Teaching (module leader)
- Institution: Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden
- Date: 02/25 - 05/25
Models of Computation
- Description: Teaching (co-lectured with Graham Leigh)
- Institution: Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden
- Date: 10/24 - 12/24
Logical Theories
- Description: Teaching assistant
- Institution: Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden
- Date: 02/24 - 05/24
Models of Computation
- Description: Multimedial material for undergraduate students on recursion theory
- Institution: Department of Pure and Applied Sciences, University of Urbino, Italy
- Date: 05/23 - 06/23
Massive Open Online Courses (MOOC)
- Description: Teaching assistant
- Institution: School of Computer Science, University of Birmingham, UK
- Date: 02/23 - 06/23
Theory of Computation
- Description: Introductory course at Midlands Graduate School, co-lectured with Marianna Girlando
- Institution: School of Computer Science, University of Nottingham, UK
- Date: 04/22
Proof Theory
- Description: Guest lecture for the course Algorithms and Complexity
- Institution: School of Computer Science, University of Birmingham, UK
- Date: 04/22
Implicit Computational Complexity
- Description: Multimedial material for undergraduate students on λ-calculus, Turing machines and complexity
- Institution: Department of Pure and Applied Sciences, University of Urbino, Italy
- Date: 02/20 - 04/20
Massive Open Online Courses (MOOC)
- Description: Teaching assistant
- Institution: Department of Pure and Applied Sciences, University of Urbino, Italy
- Date: 11/19
Logic and Theory of Reasoning
- Description: Teaching assistant
- Institution: Département d’Informatique, Université Paris Cité, France
- Date: 09/18 - 12/18
Introduction to Programming in Java
- Description: Teaching assistant
- Institution: Département d’Informatique, Université Paris Cité, France
- Date: 09/18 - 12/18
Databases
Dissemination
- Description: I am giving guest lectures for the course Logic and AI in Society: language, knowledge, and ethics, which disseminates topics in AI to undergraduate students without a computer science background
- Institution: Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden
- Date: twice a year since 2024
Logic, Games and Agency: the Symbolic Approach to AI
- Description: I gave a talk for high-school students introducing formal logic
- Institution: University of Urbino, Italy
- Date: 12/19
Outreach activities for Open Day
- Description: I gave a talk for high-school students introducing the notion of computation
- Institution: Secondary school "E. Mattei" of Urbino, Italy
- Date: 11/19
Outreach activities for Open Day
- Description: I presented a poster titled linear logic and computation
- Institution: University of Turin, Italy
- Date: 05/17
Poster Day