Talks
A collection of academic presentations delivered at the University of Parma.
Static Analysis & Software Verification
An in-depth analysis of a selected research paper, presented for the Static Analysis and Software Verification exam at the University of Parma.
Big Data & Data Mining
A presentation exploring a specific research paper in the field of Big Data, delivered for the Big Data and Data Mining exam.
Synthetic Data Generation
A lecture on synthetic data generation techniques, presented during the Big Data and Data Mining reverse class.
Cybersecurity: Infostealers
A detailed presentation on Infostealers, analyzing their mechanisms and impact, created for the Cybersecurity exam.
AI: Contrastive Learning
An exploration of contrastive learning in spatial transcriptomics data, presented for the Fundamentals of Artificial Intelligence exam.
Compilers: Loop Unrolling
A technical presentation on loop unrolling optimization techniques, delivered for the Languages, Interpreters, and Compilers exam.