Previous years
- 2025-2026 — Computational Complexity
- 2025-2026 — Informatica - 2o canale
- 2024-2025 — Computational Complexity
- 2024-2025 — Informatica - 2o canale
- 2023-2024 — Computational Complexity
- 2023-2024 — Informatica - 2o canale
- 2022-2023 — Computational Complexity
- 2022-2023 — Informatica - 2o canale
- 2021-2022 — Progettazione degli Algoritmi - 1o canale
- 2021-2022 — Informatica - 2o canale
- 2020-2021 — Informatica - 2o e 3o canale
- 2019-2020 — Informatica - 2o canale
- 2018-2019 — Informatica - SEFA
- 2017-2018 — Informatica - SEFA
- Fall 2015 (TokyoTech, Japan) — Introduction to Proof Complexity
- Spring 2014 (KTH, Sweden) — SOS and integer programming relaxations
- Fall 2012 (KTH, Sweden) — Communication Complexity (Co-Lectured)