PhD Alumni
PhD Alumni in Computer Science, Mathematics and Physics
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)
- 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 Effects 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)
PhD Alumni in Computer Science
Cycle XXVIII
- Dario De Nart. Knowledge-Based Techniques for Scholarly Data Access: Towards Automatic Curation (sup. Carlo Tasso)
- Tommaso Dreossi. Reachability Computation and Parameter Synthesis for Polynomial Dynamical Systems (sup. Carla Piazza, Thao Dang) [Joint degree with Grenoble]
- Ferdinando Fioretto. Exploiting the Structure of Distributed Constraint Optimization Problems (sup. Agostino Dovier, Enrico Pontelli) [Joint Degree with NMSU]
- Marco Pavan. Effectiveness of Data Enrichment on Categorization: Two Case Studies on Short Texts and User Movements (sup. Stefano Mizzaro, Ivan Scagnetto)
- Marco Peressotti. Coalgebraic semantics of self-referential behaviours (sup. Marino Miculan)
Cycle XXVII
- Federico Campeotto. Exploring the use of GPGPUs in Constraint Solving (sup. Agostino Dovier, Enrico Pontelli) [Joint Degree with NMSU]
- Fausto Galvan. First Quantization Table Detection in Double Compressed JPEG Images (sup. Alberto Policriti, Sebastiano Battiato)
- Andrea Vianello. Design and evaluation in the large of health apps for the general population with case studies in mindfulness, neurological and psychological assessment (sup. Luca Chittaro)
- Riccardo Vicedomini. Alignment and reconciliation strategies for large-scale de novo assembly (sup. Alberto Policriti)
Cycle XXVI
- Francesca Nadalin. Paired is better: local assembly algorithms for NGS paired reads and applications to RNA-Seq (sup. Alberto Policriti)
- Emanuela Pitassi. Social and Semantic Contexts in Tourist Mobile Applications (sup. Antonina Dattolo)
- Riccardo Sioni. Stress Detection with Physiological Sensors for Evaluating Interactive Systems and Building Relaxation Training Applications (sup. Luca Chittaro)
- Laura Titolo. An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages (sup. Marco Comini, Alicia Villanueva)
Cycle XXV
- Stefania Del Zotto. The PLS regression model: algorithms and application to chemometric data (sup. Vito Roberto)
Cycle XXIV
- Giorgio Bacci. Generalized labelled Markov processes, coalgebraically (sup. Marino Miculan)
- Giovanni Bacci. An Abstract Interpretation Framework for Semantics and Diagnosis of Functional Logic Programs (sup. Marco Comini)
- Felice Ferrara. A Social Semantic Recommender System (sup. Carlo Tasso, Antonina Dattolo)
- Alexandru Tomescu. Sets as Graphs (sup. Alberto Policriti, Eugenio G. Omodeo)
- Francesco Vezzi. Next Generation Sequencing Revolution Challenges: Search, Assemble, and Validate Genomes. (sup. Alberto Policriti)
Cycle XXIII
- Alberto Cabas Vidani. An architecture supporting the development of serious games for scenario-based training and its application to Advanced Life Support (sup. Luca Chittaro)
- Dario Della Monica. Expressiveness, decidability, and undecidability of Interval Temporal Logic (sup. Angelo Montanari) [GULP award 2012]
- Asha Rani. New Aspects of Neural Tree Based Classifiers for Pattern Recognition (sup. Pietro di Gianantonio, Christian Micheloni)
- Luca Vassena. Context-aware retrieval for mobile devices: a tale of three systems (sup. Stefano Mizzaro)
Cycle XXII
- Paolo Casoto. Sentiment Analysis for the Italian Language (sup. Carlo Tasso)
- Raffaele Cipriano. On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools. (sup. Agostino Dovier e Luca Di Gaspero)
- Davide Grohmann. Multi-graph structures as frameworks for distributed and concurrent systems (sup. Marino Miculan)
- Pietro Sala. Decidability of Interval Temporal Logics (sup. Angelo Montanari) [IC-EATCS Award 2010]
Cycle XXI
- Fabio Buttussi. Context-aware and User-adaptive Systems for Physical and Motor Task Training (sup. Luca Chittaro)
- Elisabetta De Maria. Computer Science Logic for Structure Prediction, String Comparison, and Biological Pathway Analysis (sup. Angelo Montanari)
- Cristian Del Fabbro. Repeated sequences in bioinformatics: assembly, annotation and alignments (sup. Alberto Policriti)
- Nirmala Pudota. New Techniques for Information Access, Classification and Management: Information Extraction, Keyphrase Extraction, Tagging, Ontology Mining and Adaptive Personalization (sup. Carlo Tasso)
- Sri Rama Chandra Prasad Challapalli. An Intelligent Service Oriented e-Knowledge Portal Architecture for Accessing Information in Cultural Heritage Digital Libraries (sup. Paolo Coppola)
Cycle XX
- Andrea Baruzzo. A Unified Framework for Automated UML Model Analysis (sup. Marco Comini, Carlo Tasso)
- Buora Gian Battista. Eleusys: an ontological repository for exchanging educational resources (sup. Vito Roberto)
- Giusti Christian. General image understanding by using decomposition trees (sup. Goffredo Pieroni)
- Piciarelli Claudio. Trajectory clustering techniques for unsupervised anomalous event detection. (sup. Gian Luca Foresti)
Cycle XIX
- Bortolussi Luca Constraint-based Approaches to Stochastic Dynamics of Biological Systems (sup. Agostino Dovier)
- Bresolin Davide. Proof Methods for Interval Temporal Logics (sup. Prof. Angelo Montanari)
- Burigat Stefano. Map-based Geographic Data on Mobile Devices: Visualization, Exploration and Query Issues (sup. Luca Chittaro)
- Scalabrin Simone. Floating inside Genomes: from Physical Maps to Transposable Elements Annotation (sup. Alberto Policriti)
- Subramanian Venkataraman. A Navigation and Examination Aid for Multi-Floor Virtual Buildings with Application to Emergency Evacuation Training (sup. Luca Chittaro)
- Testa Cristina. Computational neuroanatomy: basics, results, and trends (sup. Vito Roberto)
- Zantoni Marco. Bioinformatics Support in a DNA Sequence Process (sup. Alberto Policriti)
Cycle XVIII
- Casagrande Alberto. Hybrid Systems: A First-Order Approach to Verification and Approximation Techniques (sup. Alberto Policriti, Tiziano Villa)
- Dal Palù Alessandro. Constraint Programming Approaches to the Protein Structure Prediction Problem [GULP award 2006] (sup. Agostino Dovier)
- Forti Alberto. DAG Scheduling for Grid Computing Systems (sup. Alessandro de Angelis)
- Gugliotta Alessio. Knowledge Modelling for Service-oriented Applications in the e-Government Domain (sup. Vito Roberto)
- Ieronutti Lucio. Integrating Virtual Humans and Evaluating the Navigational Behavior of Users in 3D Virtual Environments (sup. Luca Chittaro)
- Micheloni Christian. A new Active Vision paradigm: from the camera motion to the video quality (sup. Gian Luca Foresti) [*]
- Puppis Gabriele. Automata for Branching and Layered Temporal Structures (sup. Angelo Montanari) [E.W. Beth Dissertation Prize 2007].
- Redamalla Rekha. Bialgebraic description of generalized binary methods and other topics in the semantics of object-oriented languages (sup. Furio Honsell e Marina Lenisa)
- Snidaro Lauro. Sensor performance based fusion for video surveillance (sup. Gian Luca Foresti) [*]
Cycle XVII
- Praveen Boinee Insights into the Machine Learning: Data Clustering and Classification Algorithms for Astrophysiscal Experiments
- Demis Ballis Rule-Based Software Verification and Correction
- Raffaella Gentilini Graph Algorithms for Massive Data-Sets
- Nicola Vitacolonna Intervals: Logics, Algorithms, and Games
- Marco Frailis Data Management and Mining in Astrophysical Databases
Cycle XVI
- Yoko Motohama. Intersection Types and Lambda Models (sup. Furio Honsell, Mariangiola Dezani-Ciancaglini)
- Guido Sciavicco. Adventures in Propositional Interval Temporal Logics (sup. Angelo Montanari)
- Lorenzo Turicchia. Bio-inspired architectures for time-frequency analysis and recognition. (sup. Furio Honsell) [*]
Cycle XV
- Stefania Gentili. Retrieving Visual Concepts in Image Databases (sup. Goffredo Pieroni)
- Alicia Villanueva. Model Checking for the Concurrent Constraint Paradigm (sup. Moreno Falaschi)
Cycle XIV
- Daniela Cancila. Investigations in the Categorical Foundations and Applications of Coalgebras and Hypersets (sup. Furio Honsell)
- Alberto Ciaffaglione. Certified Reasoning on Real Numbers and Objects in Co-inductive Type Theory (sup. Furio Honsell, Pietro Di Gianantonio, Claude Kirchner, Luigi Liquori)
- Luca Di Gaspero. Local Search Techniques for Scheduling Problems: Algorithms and Software Tools (sup. Andrea Schaerf)
Cycle XIII
- Paolo Coppola. On the Complexity of Optimal Reduction of Functional Programming Languages (sup. Simone Martini)
- Massimo Franceschet. Dividing and Conquering the Layered Land (sup. Angelo Montanari)
- Carla Piazza. Computing in Non Standard Set Theories (sup. Alberto Policriti)
- Ivan Scagnetto. Reasoning about names in Higher-Order Abstract Syntax (sup. Furio Honsell)
Cycle XII
- Gianluca Franco. Some Intensional Models of Lambda Calculus (sup. Furio Honsell)
- Roberto Ranon. Theories and Techniques of Structural Abstraction for Hierarchical Model-Based Diagnosis (sup. Luca Chittaro)
Previous cycles (consortium PISA-UDINE-GENOVA): alumni that are or have been professors at UNIUD
- Marco Comini (IX Ciclo). An Abstract Interpretation Framework of Semantics and Diagnosis of Logic Programs
- Marina Lenisa (IX Ciclo). Themes in Final Semantics
- Marino Miculan (VIII Ciclo) Encoding Logical Theories of Programs
- Agostino Dovier (VII Ciclo). Computable Set Theory and Logic Programming
- Enrico Bozzo (VI Ciclo). Matrix Algebras and Discrete Transforms
- Maurizio Gabbrielli (V Ciclo). The Semantics of Logic Programming as a Programming Language
- Pietro Di Gianantonio (IV Ciclo). A Functional Approach to Computability on Real Numbers
- Moreno Falaschi (I Ciclo). Semantica del non-determinismo nei linguaggi logici concorrenti
- Simone Martini (I Ciclo). Modelli non Estensionali del Polimorfismo in Programmazione
PhD Alumni in Mathematics and Physics
Cycle XXVIII
- Edda Dal Santo. Global existence for a hyperbolic model of multiphase ows with few interfaces (tutor: dr. Baiti)
Cycle XXVII
- Pietro Leonardo Cerchiara. On the connection between radio and gamma-ray emission in Active Galactic Nuclei (tutor: prof. De Angelis)
- Anna Driutti (tutor: prof. Pauletta)
- Daniele Impieri. Characterized subgroups (tutor: prof. Dikranjan)
- Palatiello. The Cosmic-ray Electron Spectrum Measured with the MAGIC Telescopes (tutor: prof. Persic)
- Alice Spangaro (tutor: prof. Gaudenzi)
- Carlo Stella. Comparative Investigation of Silicon Photomultipliers as Possible Photon Detectors for the Cherenkov Telescope Array (tutor: prof. Pauletta)
Cycle XXVI
- Simone Brazzale. Searching for pair production of top squarks in sqrt(s) = 7 TeV and sqrt(s) = 8 TeV proton-proton collisions and final state swith two leptons at the ATLAS experiment (tutor: prof. Pauletta e Santi) – Dipartimento: Chimica, Fisica e Ambiente
- Giuseppe Fera (tutor: prof. Michelini e Santi) – Dipartimento: Chimica, Fisica e Ambiente
- Alessio Fiscella (tutor: prof. Gaudenzi e Zanolin) – Dipartimento: Matematica e Informatica: non terminato
- Emanuele Frittaion. Reverse Mathematics and partial orders (tutor: prof. Parlamento e Marcone) – Dipartimento: Matematica e Informatica
- Manuele Pugliese (tutor: prof. Santi e Michelini) – Dipartimento: Chimica, Fisica e Ambiente
- Amos Turchet. Geometric Lang-Vojta Conjecture in P^2 (tutor: prof: Corvaja) – Dipartimento: Matematica e Informatica
Cycle XXV
- Anna Pascoletti. Fixed points for planar twist-maps (tutor: prof. Zanolin) – Dipartimento: Matematica e Informatica
- Davide Toller. Markov topologies on groups (tutor: prof. Dikranjan) – Dipartimento: Matematica e Informatica
Cycle XXIV
- Luigi Cossio (tutor: prof. De Angelis) – Dipartimento: Chimica, Fisica e Ambiente
- Francesco Dazzi. A new stereoscopic Sum-Trigger-II for the MAGIC Telescopes (tutor: prof. De Lotto) – Dipartimento: Chimica, Fisica e Ambiente
- Stefano Vercellati (tutor: prof. Michelini e Santi) – Dipartimento: Chimica, Fisica e Ambiente
Cycle XXII
- Mario Walter Colombo (tutor: prof. Santi)
- Alessandro Londero. Elasitc bodies with residual stress: variational models by Γ-convergence (tutor: prof. Lorenzo Freddi)
- Andrea Marinatto (tutor: prof. Pietro Corvaja) [*]
- Mankuzhiyil Nijil. MAGIC Gamma-ray observations of distant agn and a study of source variability and the extragalactic background light using Fermi and Air Cherenkov telescopes (tutor: prof. Alessandro De Angelis)
- Valeria Scapin. Observations of Gamma-ray burst afterglows with the MAGIC Telescope (tutor: prof. Persic)
- Dhulipala Venkata Sridhar (tutor: prof. Dario Fasino): non terminato
- Nicola Varini. Molecular dynamics simulation of friction phenomena at the atomic scale (tutor: prof. Gilberto Giugliarelli)
- Rossana Viola (tutor: prof. Marisa Michelini)
- Sergio Zampa (tutor: prof. Dikran Dikranjan): non terminato
Cycle XXI
- Michela De Maria. Searching for intrinsic anisotropies of the universe through the study of Kaon lifetimes (tutor: prof. Alessandro De Angelis)
- Francesco De Sabata. Monte Carlo simulations for the Cerenkov telescope MAGIC II and design of a novel quantum interferometer(tutor: prof. Alessandro De Angelis)
- Stéphane Matiz. Convex plane curves, monotonic curvature, evolutes, isochronicity and generalized pendula (tutor: prof. Gianluca Gorni) [*]
- Alessanda Mossenta (tutor: prof. Marisa Michelini)
- Marina Pireddu. Fixed points and chaotic dynamics for expansive-contractive maps in euclidean spaces, with some applictions (tutor: prof. Fabio Zanolin)
Cycle XX
- Anna Giordano Bruno. Cardinal invariants of topological groups and applications to κ-pseudocompact subgroups (tutor: prof. Dikran Dikranjan)
- Oriana Mansutti. Possible evidence for a new light boson from gamma-ray cosmic propagation (tutor: prof. de Angelis)
- Lakshmi Burra Subba. Chaotic dynamics in some nonlinear pendulum type equations (tutor: prof. Fabio Zanolin) [*]
- Italo Testa (tutor: prof. Michelini)
Cycle XIX
- Francesca Bradamante (tutor: prof. Marisa Michelini)
- Erica Bisesi. Indirect search of dark matter in the halos of galaxies. Role of substructures on the signals from dark matter annihilation and prospects for detection of single dark matter clumps with the MAGIC Telescope (tutor: prof. Alessandro De Angelis)
- Raffaele Buffa (tutor: prof. Furio Ercolessi)
- Tiziano Sandro Lenisa. Studio di Gamma Ray Burts con il telescopio MAGIC (tutor: prof. Barbara de Lotto)
- Carlo Eugenio Magagna. A lower bound for the r-order of a matrix modulo N and applications to elliptic curves (tutor: prof. Umberto Zannier)
- Sathyanarayan Reddy. Thermobirefringence and thermoplolarizability studies in LiNbO3 using point dipole approximation (tutor: prof. Barbara de Lotto)
Cycle XVIII
- Jung-Kyu Canci. Rational preperiodic points for rational maps (tutor: prof. Pietro Corvaja)
- Valentina Rossi (tutor: prof. Dikran Dikranjan) [*]
- Melisa Rossi (tutor: prof. Giovanni Pauletta)
- Alberto Stefanel (tutor: prof. Marisa Michelini)
- Giovanni Tarantino (tutor: prof. Marisa Michelini)
Cycle XVII
- Massimo Pin. Real and conventional anisotropy, generalized Lorentz transformations and physical effects (tutor: prof. Alessandro De Angelis)
- Yann Walkowiak. Effectivité dans le théorème d’irréductibilité de Hilbert (tutor: prof. Pietro Corvaja)
