Students

PhD Student Research topic Supervisor PhD
COLOGNI DAVIDE To be defined COMPUTER SCIENCE
GRAZIOSO MATTEO To be defined COMPUTER SCIENCE
MASO RICCARDO To be defined COMPUTER SCIENCE
NAG ANINDYA To be defined COMPUTER SCIENCE
TONETTO DAVIDE To be defined COMPUTER SCIENCE
PhD Student Research topic Supervisor PhD
ANGGRAITO ADITYO Tbd Andrea Marin COMPUTER SCIENCE
BOZZOLAN SIMONE Towards Stronger Web Authentication and Authorization Security: From Empirical to Formal Methods Stefano Calzavara COMPUTER SCIENCE
CAMPANELLI ALESSIO Tbd Giulio Ermanno Pibiri / Nicola Prezza COMPUTER SCIENCE
FEDOROVA ANNA Trustworthy AI in critical Infrastructure Paolo Falcarin / Teresa Scantamburlo COMPUTER SCIENCE
IMRAN FAISAL AI-based Fruit and Desease Detection for Smart Agriculture Andrea Albarelli / Andrea Torsello COMPUTER SCIENCE
LATIF HASAN Analysis of Oldest Ice Climate Signals using AI: Super resolution imaging for ice cores Sebastiano Vascon / Pascal Bolheber COMPUTER SCIENCE
LISOVENKO TEODORS Towards Extensible Static Analysis for Reconstructing Microservice Architectures: First Bricks to Adapt LiSA to Distributed Software Contexts Pietro Ferrara COMPUTER SCIENCE
PUTTINI DANIEL Tbd Nicola Prezza COMPUTER SCIENCE
REHMAN FAIZ UR Machine Learning Method for Environmental Science Marcello Pelillo / Sebastiano Vascon COMPUTER SCIENCE
ZAMIR AMMARA Unveiling Features Stability Across Diverse Datasets: An XAI-Driven Analysis in Phishing Websites Detection Claudio Lucchese COMPUTER SCIENCE
PhD Student Research topic Supervisor PhD
BOLDINI GIACOMO Static Analysis approaches for improving critical Software Engineering Pietro Ferrara / Paolo Falcarin COMPUTER SCIENCE
CHOWDHURY PURBASHA Legal Requirements Compliance using NLP and Knowledge Graphs Paolo Falcarin COMPUTER SCIENCE
DOLCETTI GRETA Verification of Neural Networks Employing Formal Methods Enea Zaffanella (Università di Parma) / Agostino Cortesi, Vincenzo Arceri (Università di Parma) COMPUTER SCIENCE
SAFAEI OMIDREZA Human-in-the-Loop Machine Learning for Fresco Reconstruction Marcello Pelillo / Fabio Roli (Università di Genova) COMPUTER SCIENCE
SERAFINI FEDERICO C-rusted: una soluzione basata su analisi statica per avere le garanzie di Rust in standard C Pietro Ferrara / Abramo Bagnara (Bugseng Srl) COMPUTER SCIENCE
TOSONI CARLO Compressed Indexes for Regular Languages with Applications to Computational Pan-genomics (The Burrows-Wheeler Transform) Nicola Prezza / Ruben Becker COMPUTER SCIENCE
ZANATTA GIACOMO Designing a generic methodology to analyze distributed applications statically: LiSA4ROS2 and beyond Pietro Ferrara / Leonardo Maccari COMPUTER SCIENCE
PhD Student Research topic Supervisor PhD
CHACHAR BADARUDDIN Smart Contract Vulnerability Detection Using Static Analysis Agostino Cortesi, Pietro Ferrara COMPUTER SCIENCE
MARCUZZO MATTEO Interpretable Language Model decisions for trustworthy Algorithmic Tourism Albarelli Andrea / Lucchese Claudio COMPUTER SCIENCE
MENGISTU SHAMBEL FENTE Deep CNNs for sparse signal sampling and reconstruction Bergamasco Filippo / Pistellato Mara / Fazio Peppino COMPUTER SCIENCE
POGGIANI ALESSANDRA Public sector data management, processing and access model to foster research and governance purposes – with a particular focus on health data and their production/access/usage (dottorato industriale) Cortesi Agostino / Zollo Fabiana COMPUTER SCIENCE
RIZZO MATTEO PNRR - Deep learning for explainable food recognition, characterization and quality assessment Albarelli Andrea / Lucchese Claudio COMPUTER SCIENCE
ROVINELLI GIULIA PNRR iNEST "AI e Data Mining per mobility analysis" Alessandra Raffaetà / Salvatore Orlando COMPUTER SCIENCE
SANTORO ARNALDO "Social Media Dynamics: Words as Features for Polarization Detection Polarization Detection" Zollo Fabiana / Falcarin Paolo COMPUTER SCIENCE
ZANGARI ALESSANDRO "PNRR iNEST: AI e Natural Language Processing (NLP)" Andrea Albarelli / Stefano Calzavara COMPUTER SCIENCE
PhD Student Research topic Supervisor PhD
BAG RAUNAK Requirement specification and static analysis of robotic software Cortesi Agostino COMPUTER SCIENCE
WAQAS MUHAMMAD Design and Development of Quality of Service-aware Multi-path Routing Strategy in Fog Computing Marin Andrea / Maccari Leonardo COMPUTER SCIENCE