Teaching

  • Co-organizer of and speaker at the Hot topics in language-based security seminar series (Spring 2022)
    More details can be found in this (cached) page

  • Tutor for the Turing Machine Programming National & International Contest (14 – 17 Sep 2021)

    National (Italian) and International competition where high-school students were asked to program a Turing machine to
    solve algorithmic problems.
    In collaboration with others, my duties were to translate training material from Italian, prepare the solutions to the
    proposed exercises, and adapt the existing evaluating software to the new requirements (fixing its security a bit and provide a
    page with live results).
    More details on the contest can be found in this archived page.

  • TA for Laboratory of Innovative Software (Mar 2021 - May 2021)

    More details here.

  • TA for Foundations of Computer Science (Oct 2020 - Dec 2020)

    I was a teaching assistant in this introductory course for undergraduates.
    More details here.

  • TA for Advanced Programming (Oct 2019 - Dec 2019)

    This class is an advanced programming class for first-year master’s students.
    I was the teaching assistant during the laboratories.
    More details here.

  • Seminar on “Provably Correct and Secure Compilation” (2 Dec 2019 and 4 Dec 2019)

    A short, 4 hours introduction to provably correct and secure compilers.
    (Slides 2 Dec) - (Slides 4 Dec)

  • Teacher for the laboratory Introduction to Turing Machines (Feb 2019)

    External teacher at Liceo “U. Dini” in Pisa.
    The course consisted in three lectures introducing high-school students to Turing machines.

  • TA for Advanced Programming (Oct 2018 - Dec 2018)

    This class is an advanced programming class for first-year master’s students.
    I was the teaching assistant during the laboratories.
    More details here.

  • TA for Algorithms and Laboratory (Feb 2018 - May 2018)

    This class was an introduction to algorithmics for first-year computer science students, with some focus on C implementation of the algorithms.
    I was the teaching assistant during the laboratories.
    More details here.

  • Teacher for Introduction to Computational Thinking (Nov 2017 - May 2017)

    External teacher at Liceo “U. Dini” in Pisa.
    The aim was to introduce first year high-school students to problem solving and Python programming.