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 INFORMATICA
CHOWDHURY PURBASHA Information Leakage Static Analysis of Data Science Scripts Agostino Cortesi / Pietro Ferrara INFORMATICA
DOLCETTI GRETA Verification of Neural Networks Employing Formal Methods Enea Zaffanella (Università di Parma) / Agostino Cortesi INFORMATICA
LAULAI ARBELO Reinforcement Learning-based Routing Protocol Using V2V and V2I Communication in Vehicular ad hoc networks (VANETs) Leonardo Maccari / Peppino Fazio INFORMATICA
SAFAEI OMIDREZA Human-in-the-Loop Machine Learning for Fresco Reconstruction Marcello Pelillo / Fabio Roli (Università di Genova) INFORMATICA
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) INFORMATICA
TOSONI CARLO Compressed Indexes for Regular Languages with Applications to Computational Pan-genomics (The Burrows-Wheeler Transform) Nicola Prezza / Sebastiano Vascon INFORMATICA
ZANATTA GIACOMO Program Analysis for Robotics Software Pietro Ferrara / Leonardo Maccari INFORMATICA
PhD Student Research topic Supervisor PhD
CHACHAR BADARUDDIN Smart Contract Vulnerability Detection Using Static Analysis Agostino Cortesi, Pietro Ferrara INFORMATICA
MARCUZZO MATTEO Interpretable Language Model decisions for trustworthy Algorithmic Tourism Albarelli Andrea / Lucchese Claudio INFORMATICA
MENGISTU SHAMBEL FENTE Deep CNNs for sparse signal sampling and reconstruction Bergamasco Filippo / Pistellato Mara / Fazio Peppino INFORMATICA
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) INFORMATICA
RIZZO MATTEO PNRR - Deep learning for explainable food recognition, characterization and quality assessment Albarelli Andrea / Lucchese Claudio INFORMATICA
ROVINELLI GIULIA PNRR iNEST "AI e Data Mining per mobility analysis" Alessandra Raffaetà / Salvatore Orlando INFORMATICA
SANTORO ARNALDO "Social Media Dynamics: Words as Features for Polarization Detection Polarization Detection" Zollo Fabiana / Falcarin Paolo INFORMATICA
ZANGARI ALESSANDRO "PNRR iNEST: AI e Natural Language Processing (NLP)" Andrea Albarelli / Stefano Calzavara INFORMATICA
PhD Student Research topic Supervisor PhD
ALI WAQAR Machine Learning Methods in Pattern Recognition Pelillo Marcello / Thilo Stadelmann (ZHAW School of Engineerig, Svizzera) INFORMATICA
BAG RAUNAK Requirement specification and static analysis of robotic software Cortesi Agostino INFORMATICA
BUSOLIN FRANCESCO Improve Learning To Rank systems with accessory models Orlando Salvatore / Lucchese Claudio INFORMATICA
CAZZARO LORENZO Improving Web Application Security through Machine Learning Calzavara Stefano INFORMATICA
DI CAMPI ALESSIA MICHELA Secure and usable password systems Luccio Flaminia INFORMATICA
OLLIARO DILETTA On the relations between product-form and dynamically reversible models and their applications to highly distributed systems performance analysis Marin Andrea INFORMATICA
VENERI ALBERTO Deep learning techniques for next generation contextaware recommendation and search systems Lucchese Claudio INFORMATICA
WAQAS MUHAMMAD Design and Development of Quality of Service-aware Multi-path Routing Strategy in Fog Computing Marin Andrea / Maccari Leonardo INFORMATICA
PhD Student Research topic Supervisor PhD
AHMAD ZUBAIR SECURITY AND PRIVACY ANALYSIS OF MODERN CLIENT-SIDE WEB STORAGE Calzavara Stefano INFORMATICA