PhD Students
Student representatives:
Cycle XL
- Riccardo Belliato, Recommender Systems for Tailored Gamification (sup. Antonio Bucchiarone, co-sup. Kevin Roitero)
- Simone Boscaratto, Fundamental properties of an Ackermann-like encoding of hereditarily finite sets, hypersets and multisets (sup. Alberto Policriti)
- Davide Calzà, Condition monitoring and predictive maintenance of complex industrial systems: Model-based reasoning meets Data Science (sup. Alessandro Cimatti)
- Filippo Fantinato, Requirements validation and diagnosis of contract based designed complex systems (sup. Alessandro Cimatti, co-sup: Stefano Tonetta)
- Riccardo Lunardi, Artificial Intelligence Methods for Disability Identification in Electronic Health Records (sup. Kevin Roitero, Vincenzo Della Mea)
- Sameer Malik (sup. Niki Martinel)
- Angelo Matteo, Correspondences between Automata, Algebras and Logics (sup. Dario Della Monica, co-sup. Gabriele Puppis)
- Michele Mignani, Autoformalization for AI/AGI safety (sup. Angelo Montanari)
- Erica Perseghin, A Lightweight Deep Learning Model for Multimodal Learning in Educational Settings (sup. Gian Luca Foresti)
- Armando Vittorio Razzino, Multi-modal learning-based Simultaneous Localization and Mapping (SLAM) (sup. Fabio Remondino)
- Enrico Santi, Scalable tools for inductive logic programming (sup. Andrea Formisano, co-sup: Agostino Dovier)
Cycle XXXIX
- Hafsa Akebli, Machine Learning for decision support in image interpretation in pathology (sup. Vincenzo Della Mea)
- Christian Corrò, A Framework for Integrating Context-Aware Intelligent Agents into Multimodal, Instructional Mixed Reality (sup. Luca Chittaro)
- Nasar Iqbal, Study and design of artificial intelligence algorithms for quality control of production processes (sup. Niki Martinel)
- Michele Lizzit, Advancing Static Analysis Techniques through Language Model Enhancements (sup. Marino Miculan)
- Francesco Nascimben, Development and implementation of algorithms and data structures for storing and working on large graphs derived from genetic/biological data (sup. Alberto Policriti)
- Moritz Nottebaum, Efficient Inference for Object Detection and Object Tracking with emphasis on the analysis of backbone architectures and unconventional design paradigms (sup. Christian Micheloni)
- Marius George Onofrei, Efficient real-time synthesis algorithms for accessible musical interfaces (sup. Federico Fontana)
- Massimiliano Pascoli, Autonomous multi-agent simulation techniques in extended reality (sup. Fabio Buttussi)
- Laura Rasotto, Artificial Intelligence for Decision Support in Pathology (sup. Vincenzo Della Mea)
- Denis Tavaris, Computer Vision for Environmental River Analysis through UAVs (sup. Gian Luca Foresti, Niki Martinel)
- Biagio Tomasetig, An Edu-Metaverse framework to foster knowledge gain and retention (sup. Fabio Buttussi)
- Muhammed Zaka-Ud-Din, A comprehensive CAD system based on radiologic- and pathologic-image biomarkers for diagnosis and prognosis of breast cancer relapse (sup. Vincenzo Della Mea)
Cycle XXXVIII
- Renato Acampora, Timeline-based games: Extension to Distributed Systems and Refinement using Symbolic and SMT Techniques (sup. Angelo Montanari)
- Francesca Da Ros, Toward Metaheuristics Explainability and Comparability (sup. Luca Di Gaspero)
- Talissa Dreossi, Bridging the gap between Logic/Constraint Programming and Machine Learning (sup. Agostino Dovier)
- Mehdi Fasihi, Comparison of Multiple Machine Learning Models for Estimating the Forest Growing Stock (sup. Giuseppe Serra)
- Alessandro Forgiarini, Artificial Intelligence techniques in eXtended reality Multiplayer Serious Games for training complex abilities (sup. Fabio Buttussi)
- Alessandro Locaputo, Deep Learning techniques for the restoration of damaged inscriptions (sup. Giuseppe Serra)
- Enrico Marchi, Anomaly detection for 3D objects in industrial settings (sup. Gian Luca Foresti)
- Maryam, Integrating Deep Learning and Software Engineering (sup. Vincenzo Riccio)
- Gabriele Mazzacca, Boosting Digital Heritage with AI to derive enlightening information (sup. Fabio Remondino)
- Nazanin Padkan, Vision and metrology techniques for advanced manufacturing (sup. Fabio Remondino)
- Mubashara Rehman, Artificial Intelligence and Data Analysis for Personalized Oncology (sup. Christian Micheloni, Niki Martinel)
- Silvia Zottin, Machine learning and deep learning for advanced manufacturing technologies (PNRR – Interconnected Nord-Est Innovation Ecosystem) (sup. Gian Luca Foresti)
Cycle XXXVII
- Stefano Frizzo Stefenon (sup. Alessandro Cimatti)
- Asif Hussain Kahn, Deep Video Super-Resolution (sup. Niki Martinel)
- David La Barbera, Human-In-The-Loop Systems to Fight Misinformation (sup. Stefano Mizzaro)
- Hussain Ahmed Madni, Trust in Cloud Computing (sup. Gian Luca Foresti)
- Paolo Marrone, Ciaramella: a novel audio dsp programming language based on synchronous data flow (sup. Federico Fontana)
- Mihai Horia Popescu, Integration of symbolic and sub-symbolic techniques for Explainable Artificial Intelligence (XAI) (sup. Vincenzo Della Mea)
- Alessandro Giuseppe Privitera, Immersive analytics of lifelogging auditory data for digital humanities (sup. Michele Geronazzo)
- Riccardo Romanello, Complexity in Quantum Computing (sup. Carla Piazza)
- Francesco Santoro, Decentralized autonomous organizations (DAOs) based on blockchain technology. Research on possible applications, characteristics and regulation (sup. Massimo Franceschet)
- Francesco Taverna, Models and algorithms for the intelligent management of waste collection through fleets of electric vehicles (sup. Luca Di Gaspero)