Students


Ph.D Cycle XXXIII

Full Name Research Project Title Supervisor
Yuri De Pra Federico Fontana
Elena Furlanetto Advanced Silicon Drift Detectors applied to fundamental physics studies of muonic atoms Andrea Vacchi
Jacopo Magro Four-top production in the Standard Model and beyond in same-sign dilepton and multilepton final states with the ATLAS experiment Andrea Vacchi
Davide Miceli Study of astrophysical transients with MAGIC experiment Barbara De Lotto
Eleonora Pippia Dynamic models for structural data acquisition in food service appliance Alberto Policriti
Asma Shaheen Algorithms and tools for the analysis of large amounts on neurological data collected from mobile applications Stefano Burigat
Manlio Valenti The higher levels of the Weihrauch hierarchy Alberto Marcone

Ph.D Cycle XXXII

Full Name Research Project Title Supervisor
Alessia Andò Applications of High Performance Computing to models in the field of biomathematics Dimitri Breda
Andrea Brunello Data Mining with temporal aspects Angelo Montanari
Daniela Cirrincione Development of Silicon Detector for high precision fast X-ray spectroscopy for X-ray astrophysics applications Andrea Vacchi
Marco Corbatto Modeling a Learning Design system based on graphic organizers Antonina Dattolo
Mohammed Faraj Four-top production in the Standard Model and beyond in single lepton and opposite-sign dilepton final states with the ATLAS experiment Andrea Vacchi
Marta Fiori Carones Order theory and graph theory in reverse mathematics Alberto Marcone
Oltiana Gjata Qualitative and quantitative aspects in the analysis of conservative systems in electromagnetism models Fabio Zanolin
Ornela Maloku Prediction of the effects of mutations on the stability and interactions of proteins Federico Fogolari
Kevin Roitero Economical Evaluation of Information Retrieval Systems Stefano Mizzaro
Nicolò Zava Coarse Geometry with applications to groups and entropy Dikran Dikranjan

Ph.D Cycle XXXI

Full Name Research Project Title Supervisor
Daniele Buongiorno Optical spectroscopy: a vertical path for conceptual learning Marisa Michelini

Lorenzo Santi

Tobia Dondè Topological methods for dynamical systems and chaos Fabio Zanolin
Nicola Gigante Computational Complexity and Logical Expressiveness of Automated Planning Languages Supporting Temporal Reasoning Angelo Montanari
Alberto Molinari Model Checking for Interval Temporal Logics Angelo Montanari
Andrea Viel Spatio-temporal databases for positioning systems Angelo Montanari

Ph.D Cycle XXX

Full Name Research Project Title Supervisor
Muhammad Alam Eldien Carlo Tasso
Linda Anticoli Model Checking of Quantum Algorithms and Protocols Carla Piazza
Michele Peresano Barbara De Lotto
Simone Silvetti Alberto Policriti