Tutor Junior for Algorithms and Data Structure - BSc in Computer Science
(ongoing) a.y. 2025/2026 - University of Padova
Tutor Junior for Mathematics - BSc in Chemistry, BSc in Industrial Chemistry and BSc in Science of Materials
a.y. 2020/2021, a.y. 2021/2022 - University of Padova
Tutor Junior for Geometry and Linear Algebra - BSc in Information Engineering
a.y. 2020/2021, a.y. 2021/2022 - University of Padova
Learning disorders Tutor for Linear Algebra, Calculus and Advanced Calculus, basics of Mathematics and Statistics
a.y. 2020/2021, a.y. 2021/2022, a.y. 2022/2023 - University of Padova
(ongoing) November 2024 - September 2027:
PhD in Brain, Mind ad Computer Science at University of Padova, Italy
Supervisor: Prof. Paolo Baldan
Topic: Model Checking as Program Analysis: Program Logics for Verification
October 2021 - September 2023:
MSc in Computer Science at University of Padova, Italy
Supervisors: Prof. Paolo Baldan, Prof. Roberto Bruni
Thesis: Model Checking a Temporal Logic via Program Verification
October 2017 - October 2020:
BSc in Mathematics at University of Padova, Italy
Supervisor: Prof. Andrea Lucchini
Thesis: Measuring arguments for finite groups: Chermak-Delgado measure, generalization and applications.