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 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
Marco Basaldella Information extraction from (scientific) documents Carlo Tasso
Davide Liessi Pseudospectral methods for the stability of linear periodic delay models Dimitri Breda
Michele Peresano Alessandro De Angelis
Simone Silvetti Alberto Policriti
Elisa Sovrano Fabio Zanolin