Teaching

Undergraduate Course at McMaster

• Discrete Mathematics with Applications II, Winter 2021, Instructor.

Undergraduate Courses at Politecnico di Milano

• Theory of Computer Science, Computation and Algorithms, Spring 2019 / Spring 2018, Teaching Assistant (TA), Instructor: Prof. Matteo Rossi.
• Fundamentals of Computer Science (Programming in C), Winter 2018, TA, Instructor: Prof. Raffaela Mirandola.
• Algorithms and Parallel Computing (Programming in C++), Winter 2017, TA, Instructor: Prof. Danilo Ardagna.

Graduate Courses at Politecnico di Milano

• Formal Methods for concurrent and real-time systems, Spring 2020 / Spring 2019, TA, Instructor: Prof. Pierluigi San Pietro.
• Software Methodologies and Architectures for Security, Spring 2019, TA, Instructor: Prof. Marcello Bersani.
• Formal Methods for concurrent and real-time systems, Spring 2018 / Spring 2017 / Spring 2016, TA, Instructor: Prof. Dino Mandrioli.

Other Courses

• Programming in Python, Dec 2019 / Feb 2019 / Nov 2018, at Cefriel, Instructor.