Teaching

    Logical Theories

  • 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

    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: 09/25 - 10/25

    Models of Computation

  • Description: Teaching (module leader)
  • Institution: Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden
  • Date: 02/25 - 05/25

    Logical Theories

  • 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

    Models of Computation

  • Description: Teaching assistant
  • Institution: Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden
  • Date: 02/24 - 05/24

    Massive Open Online Courses (MOOC)

  • 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

    Theory of Computation

  • Description: Teaching assistant
  • Institution: School of Computer Science, University of Birmingham, UK
  • Date: 02/23 - 06/23

    Proof Theory

  • Description: Introductory course at Midlands Graduate School, co-lectured with Marianna Girlando
  • Institution: School of Computer Science, University of Nottingham, UK
  • Date: 04/22

    Implicit Computational Complexity

  • Description: Guest lecture for the course Algorithms and Complexity
  • Institution: School of Computer Science, University of Birmingham, UK
  • Date: 04/22

    Massive Open Online Courses (MOOC)

  • 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

    Logic and Theory of Reasoning

  • Description: Teaching assistant
  • Institution: Department of Pure and Applied Sciences, University of Urbino, Italy
  • Date: 11/19

    Introduction to Programming in Java

  • Description: Teaching assistant
  • Institution: Département d’Informatique, Université Paris Cité, France
  • Date: 09/18 - 12/18

    Databases

  • Description: Teaching assistant
  • Institution: Département d’Informatique, Université Paris Cité, France
  • Date: 09/18 - 12/18

Dissemination

    Logic, Games and Agency: the Symbolic Approach to AI

  • 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

    Outreach activities for Open Day

  • 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

    Poster Day

  • Description: I presented a poster titled linear logic and computation
  • Institution: University of Turin, Italy
  • Date: 05/17