CICLO 28

• Dario De Nart [Tesi in 2017]
• 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 [Tesi in 2017]
• Marco Peressotti [Tesi in 2017]

CICLO 27

• 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)

CICLO 26

• 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)

CICLO 25

• Stefania Del Zotto. The PLS regression model: algorithms and application to chemometric data (sup. Vito Roberto)

CICLO 24

• 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)

CICLO 23

• 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)

CICLO 22

• 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].

CICLO 21

• 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)

CICLO 20

• 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)

CICLO 19

• 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)
• Testa Cristina. Computational neuroanatomy: basics, results, and trends (sup. Vito Roberto)
• Zantoni Marco. Bioinformatics Support in a DNA Sequence Process (sup. Alberto Policriti)

CICLO 18

• 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) [*]

CICLO 17

• 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

CICLO 16

• 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) [*]

CICLO 15

• Stefania Gentili. Retrieving Visual Concepts in Image Databases (sup. Goffredo Pieroni)
• Alicia Villanueva. Model Checking for the Concurrent Constraint Paradigm (sup. Moreno Falaschi)

CICLO 14

• 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)

CICLO 13

• 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)

CICLO 12

• 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)

CICLI Precedenti (dottorato consorzio PISA-UDINE-GENOVA). Riportiamo alumni che sono o sono stati docenti UNIUD

• Marco Comini (ciclo 9) An Abstract Interpretation Framework of Semantics and Diagnosis of Logic Programs
• Marina Lenisa (ciclo 9) Themes in Final Semantics
• Marino Miculan (ciclo 8) Encoding Logical Theories of Programs
• Agostino Dovier (ciclo 7) Computable Set Theory and Logic Programming
• Enrico Bozzo (ciclo 6) Matrix Algebras and Discrete Transforms
• Maurizio Gabbrielli (ciclo 5) The Semantics of Logic Programming as a Programming Language
• Pietro Di Gianantonio (ciclo 4) A Functional Approach to Computability on Real Numbers
• Moreno Falaschi (ciclo 1) Semantica del non-determinismo nei linguaggi logici concorrenti
• Simone Martini (ciclo 1) Modelli non Estensionali del Polimorfismo in Programmazione

[*] means Thesis not available because author denied permission