directory

it en

PhD Alumni in Computer Science, Mathematics and Physics

Cycle XXXVII

David La Barbera, Human-In-The-Loop Systems to Fight Misinformation (sup. Stefano Mizzaro)
Mihai Horia Popescu, Integration of symbolic and sub-symbolic techniques for Explainable Artificial Intelligence (XAI) (sup. Vincenzo Della Mea)
Riccardo Romanello, Complexity in Quantum Computing (sup. Carla Piazza)

Cycle XXXVI

Irene Burelli, Study of the divergent pointing mode for the Cherenkov Telescope Array Observatory Southern array (sup. Barbara De Lotto / Francesco Longo / Michele Palatiello)
Riccardo Crupi, Deep Learning for Gamma-Ray Bursts: A data driven event framework for X/Gamma-Ray analysis in space telescopes (sup. Barbara De lotto / Andrea Vacchi)
Axel De Nardin, Deep learning techniques for image segmentation and anomaly detection in low data regimes (sup. Gian Luca Foresti / Claudio Piciarelli)
Andrea Gulli, Deep hearing: Intelligent Sound Processing for cochlear implants in pediatric patients (sup. Federico Fontana / Enrico Muzzi)
Davide Martincigh, Wheeler Automata, a generalization of the Burrow-Wheeler transformation (sup. Alberto Policriti / Giovanna D’Agostino)
Marta Serafini, Virtual reality systems for anxiety mitigation: exploring desktop, immersive and augmented reality (sup. Luca Chittaro)

Cycle XXXV

Davide Castelnuovo, Fuzzy algebraic theories and M,N-adhesive categories (sup. Marino Miculan)
Vittorio Cipriani, Many Problems, Different Frameworks: Classification of Problems in Computable Analysis and Algorithmic Learning Theory (sup. Alberto Marcone)
Giovanni Della Casa, The observational potentials of the advanced detector system of the HERMES Pathfinder mission, an assessment (sup. Barbara De Lotto / Andrea Vacchi)
Alex Falcon, Semantics for vision-and-language understanding (sup. Oswald Lanz / Giuseppe Serra)
Martina Iannella, From real-life to very strong axioms. Classification problems in Descriptive Set Theory & regularity properties in Generalized Descriptive Set Theory (sup. Alberto Marcone / Vincenzo Dimonte)
Nicola Saccomanno, Fingerprint-based Indoor Positioning and Beyond: Modeling, Representation, and Learning (sup. Angelo Montanari)
Michael Soprano, In Crowd Veritas: leveraging human intelligence to fight misinformation (sup. Stefano Mizzaro)
Andrea Urgolo, Smart Sensing: Selection, Prediction and Monitoring (sup. Angelo Montanari / Andrea Brunello / Federico Pittino)

Cycle XXXIV

Anna Rita Altamura, Radiation damage of FBK Silicon Photomultipliers for HEP applications (sup. Alberto Gola)
Marco Baruzzo, Development of the FAMU experimental apparatus for the proton radius measurement (sup. Andrea Vacchi)
Giuseppe Dilillo, Two studies concerning the development of the HERMES-TP/SP space mission (sup. Andrea Vacchi)
Francesco Fabiano, Planning while Believing to Know (sup. Agostino Dovier)
Margherita Galli, Assessing the determinants of COVID-19 burden to address disease-control policy decisions (sup. Stefano Merler)
Luca Geatti, Temporal Logic Specifications: Expressiveness, Satisfiability and Realizability (sup. Alessandro Cimatti / Angelo Montanari)
Giuseppe Lancioni, Efficient Deep Learning: analysis and applications (sup. Giuseppe Serra)
Pankaj Mishra, Deep Neural Networks for Image Anomaly Detection: Application in Real World Industrial Scenarios (sup. Gian Luca Foresti)
Saida Saad Mohamed Mahmoud, Generative Models: Image Synthesis, Keyphrase Extraction and Protein Structure Prediction (sup. Giuseppe Serra)
Emanuele Scapin, Task-related models for teaching and assessing iteration learning in high school (sup. Alberto Policriti / Claudio Mirolo)

Cycle XXXIII

Yuri De Pra, Multi-sensory design, physical computing and experimental validation of virtual buttons and knobs for professional appliances (sup. Federico Fontana)
Alice Donini, Monte Carlo simulation and data analysis of sky observation mode with the Cherenkov Telescope Array (sup. Barbara De Lotto)
Jacopo Magro, Search for four top quark production in the single lepton final state in pp collisions at √s = 13 TeV with the ATLAS detector (sup. Andrea Vacchi)
Davide Miceli, Multi-wavelength afterglow numerical code and data analysis of MAGIC very high energy emission from gamma-ray bursts (sup. Barbara De Lotto)
Eleonora Pippia, Optimization and Modeling Techniques for Food Service Appliances (sup. Alberto Policriti)
Asma Shaheen, Computer-aided analysis of complex neurological data for age-based classification of upper limbs motor performance and radiomics-based survival prediction of brain tumors (sup. Stefano Burigat)
Manlio Valenti, A journey through computability, topology and analysis (sup. Alberto Marcone)

Cycle XXXII

Alessia Andò, Collocation methods for complex delay models of structured populations (sup. Dimitri Breda)
Andrea Brunello, Temporal Information in Data Science: An Integrated Framework and its Applications (sup. Angelo Montanari)
Daniela Cirrincione, New versatile monolithic multipixel detector systems based on Silicon Drift Detectors (sup. Andrea Vacchi)
Marco Corbatto, Visual approaches to knowledge organization and contextual exploration (sup. Antonina Dattolo)
Mohammed Faraj, Analysis of top-quark production processes for the search of new physics and correlated tracking studies in the ATLAS experiment at the LHC (sup. Andrea Vacchi)
Marta Fiori Carones, Filling cages. Reverse mathematics and combinatorial principles (sup. Alberto Marcone)
Oltiana Gjata, Qualitative and quantitative aspects in the analysis of conservative systems in electromagnetism models (sup. Fabio Zanolin)
Ornela Maloku, Prediction of the Eﬀects of Mutations on the Stability and Interactions of Proteins (sup. Federico Fogolari)
Kevin Roitero, Cheap IR Evaluation: Fewer Topics, No Relevance Judgements, and Crowdsourced Assessments (sup. Stefano Mizzaro)
Nicolò Zava, Coarse geometry: a foundational and categorical approach with applications to groups and hyperspaces (sup. Dikran Dikranjan)

Cycle XXXI

Daniele Buongiorno, Optical spectroscopy: a vertical path for conceptual learning (sup. Marisa Michelini, Lorenzo Santi)
Tobia Dondè, Qualitative aspects of dynamical systems. Periodic solutions, celestial orbits and persistence (sup. Fabio Zanolin)
Nicola Gigante, Timeline-based planning: expressiveness and complexity (sup. Angelo Montanari)
Alberto Molinari, Model checking: the interval way (sup. Angelo Montanari)
Andrea Viel, Methods, techniques, and algorithms for the management of cellular fingerprints in positioning systems (sup. Angelo Montanari)

Cycle XXX

Linda Anticoli, Entangλe: a Framework from Quantum Programming to Quantum Model Checking (sup. Carla Piazza)
Marco Basaldella, Advances in Automatic Keyphrase Extraction (sup. Carlo Tasso, Federico Fontana)
Davide Liessi, Pseudospectral Methods for the Stability of Periodic Solutions of Delay Models (sup. Dimitri Breda)
Michele Peresano, MAGIC telescopes observations at Very Large Zenith angles and the first neutrino-gamma association (sup. Barbara de Lotto)
Simone Silvetti, Combining Machine Learning and Formal Methods for Complex Systems Design (sup. Alberto Policriti)
Elisa Sovrano, Nonlinear differential equations having non-sign-definite weights (sup. Fabio Zanolin)

Cycle XXIX

Dante Degl’Innocenti, Multilingual Keyphrase Extraction and Advanced Localisation Strategies (sup. Carlo Tasso)
Eddy Maddalena, Crowdsourcing Relevance: Two Studies on Assessment (sup. Stefano Mizzaro)
Nicola Prezza, Compressed Computation for Text Indexing (sup. Alberto Policriti)
Luca Rizzi, Adjoint Forms and Algebraic Families (sup. Francesco Zucconi)