PhD in Computer Science

Students

PhD Student Research topic Supervisor PhD
BOLDINI GIACOMO Static Analysis approaches for improving critical Software Engineering Pietro Ferrara / Paolo Falcarin COMPUTER SCIENCE
CHOWDHURY PURBASHA Information Leakage Static Analysis of Data Science Scripts Agostino Cortesi / Pietro Ferrara COMPUTER SCIENCE
DOLCETTI GRETA Verification of Neural Networks Employing Formal Methods Enea Zaffanella (Università di Parma) / Agostino Cortesi COMPUTER SCIENCE
LAULAI ARBELO Reinforcement Learning-based Routing Protocol Using V2V and V2I Communication in Vehicular ad hoc networks (VANETs) Leonardo Maccari / Peppino Fazio 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 / Sebastiano Vascon COMPUTER SCIENCE
ZANATTA GIACOMO Program Analysis for Robotics Software 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 (dottorato industriale) 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
ALI WAQAR Machine Learning Methods in Pattern Recognition Pelillo Marcello / Thilo Stadelmann (ZHAW School of Engineerig, Svizzera) COMPUTER SCIENCE
BAG RAUNAK Requirement specification and static analysis of robotic software Cortesi Agostino COMPUTER SCIENCE
BUSOLIN FRANCESCO Improve Learning To Rank systems with accessory models Orlando Salvatore / Lucchese Claudio COMPUTER SCIENCE
CAZZARO LORENZO Improving Web Application Security through Machine Learning Calzavara Stefano COMPUTER SCIENCE
DI CAMPI ALESSIA MICHELA Secure and usable password systems Luccio Flaminia COMPUTER SCIENCE
OLLIARO DILETTA On the relations between product-form and dynamically reversible models and their applications to highly distributed systems performance analysis Marin Andrea COMPUTER SCIENCE
VENERI ALBERTO Deep learning techniques for next generation contextaware recommendation and search systems Lucchese Claudio 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