Studenti e tesi


  1. Dario De Nart. Knowledge-Based Techniques for Scholarly Data Access: Towards Automatic Curation (sup. Carlo Tasso)
  2. Tommaso Dreossi. Reachability Computation and Parameter Synthesis for Polynomial Dynamical Systems (sup. Carla Piazza, Thao Dang) [Joint degree with Grenoble]
  3. Ferdinando Fioretto. Exploiting the Structure of Distributed Constraint Optimization Problems (sup. Agostino Dovier, Enrico Pontelli) [Joint Degree with NMSU]
  4. Marco Pavan. Effectiveness of Data Enrichment on Categorization: Two Case Studies on Short Texts and User Movements (sup. Stefano Mizzaro, Ivan Scagnetto)
  5. Marco Peressotti [Tesi in 2017]


  1. Federico Campeotto. Exploring the use of GPGPUs in Constraint Solving (sup. Agostino Dovier, Enrico Pontelli) [Joint Degree with NMSU]
  2. Fausto Galvan. First Quantization Table Detection in Double Compressed JPEG Images (sup. Alberto Policriti, Sebastiano Battiato)
  3. 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)
  4. Riccardo Vicedomini. Alignment and reconciliation strategies for large-scale de novo assembly (sup. Alberto Policriti)


  1. Francesca Nadalin. Paired is better: local assembly algorithms for NGS paired reads and applications to RNA-Seq (sup. Alberto Policriti)
  2. Emanuela Pitassi. Social and Semantic Contexts in Tourist Mobile Applications (sup. Antonina Dattolo)
  3. Riccardo Sioni. Stress Detection with Physiological Sensors for Evaluating Interactive Systems and Building Relaxation Training Applications (sup. Luca Chittaro)
  4. Laura Titolo. An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages (sup. Marco Comini, Alicia Villanueva)


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


  1. Giorgio Bacci. Generalized labelled Markov processes, coalgebraically (sup. Marino Miculan)
  2. Giovanni Bacci. An Abstract Interpretation Framework for Semantics and Diagnosis of Functional Logic Programs (sup. Marco Comini)
  3. Felice Ferrara. A Social Semantic Recommender System (sup. Carlo Tasso, Antonina Dattolo)
  4. Alexandru Tomescu. Sets as Graphs (sup. Alberto Policriti, Eugenio G. Omodeo)
  5. Francesco Vezzi. Next Generation Sequencing Revolution Challenges: Search, Assemble, and Validate Genomes. (sup. Alberto Policriti)


  1. 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)
  2. Dario Della Monica. Expressiveness, decidability, and undecidability of Interval Temporal Logic (sup. Angelo Montanari) [GULP award 2012]
  3. Asha Rani. New Aspects of Neural Tree Based Classifiers for Pattern Recognition (sup. Pietro di Gianantonio, Christian Micheloni)
  4. Luca Vassena. Context-aware retrieval for mobile devices: a tale of three systems (sup. Stefano Mizzaro)


  1. Paolo Casoto. Sentiment Analysis for the Italian Language (sup. Carlo Tasso)
  2. Raffaele Cipriano. On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools. (sup. Agostino Dovier e Luca Di Gaspero)
  3. Davide Grohmann. Multi-graph structures as frameworks for distributed and concurrent systems (sup. Marino Miculan)
  4. Pietro Sala. Decidability of Interval Temporal Logics (sup. Angelo Montanari) [IC-EATCS Award 2010].


  1. Fabio Buttussi. Context-aware and User-adaptive Systems for Physical and Motor Task Training (sup. Luca Chittaro)
  2. Elisabetta De Maria. Computer Science Logic for Structure Prediction, String Comparison, and Biological Pathway Analysis (sup. Angelo Montanari)
  3. Cristian Del Fabbro. Repeated sequences in bioinformatics: assembly, annotation and alignments (sup. Alberto Policriti)
  4. Nirmala Pudota. New Techniques for Information Access, Classification and Management: Information Extraction, Keyphrase Extraction, Tagging, Ontology Mining and Adaptive Personalization (sup. Carlo Tasso)
  5. Sri Rama Chandra Prasad Challapalli. An Intelligent Service Oriented e-Knowledge Portal Architecture for Accessing Information in Cultural Heritage Digital Libraries (sup. Paolo Coppola)


  1. Andrea Baruzzo. A Unified Framework for Automated UML Model Analysis (sup. Marco Comini, Carlo Tasso)
  2. Buora Gian Battista. Eleusys: an ontological repository for exchanging educational resources (sup. Vito Roberto)
  3. Giusti Christian. General image understanding by using decomposition trees (sup. Goffredo Pieroni)
  4. Piciarelli Claudio. Trajectory clustering techniques for unsupervised anomalous event detection. (sup. Gian Luca Foresti)


  1. Bortolussi Luca Constraint-based Approaches to Stochastic Dynamics of Biological Systems (sup. Agostino Dovier)
  2. Bresolin Davide. Proof Methods for Interval Temporal Logics (sup. Prof. Angelo Montanari)
  3. Burigat Stefano. Map-based Geographic Data on Mobile Devices: Visualization, Exploration and Query Issues (sup. Luca Chittaro)
  4. Scalabrin Simone. Floating inside Genomes: from Physical Maps to Transposable Elements Annotation (sup. Alberto Policriti)
  5. Testa Cristina. Computational neuroanatomy: basics, results, and trends (sup. Vito Roberto)
  6. Zantoni Marco. Bioinformatics Support in a DNA Sequence Process (sup. Alberto Policriti)


  1. Casagrande Alberto. Hybrid Systems: A First-Order Approach to Verification and Approximation Techniques (sup. Alberto Policriti, Tiziano Villa)
  2. Dal Palù Alessandro. Constraint Programming Approaches to the Protein Structure Prediction Problem [GULP award 2006] (sup. Agostino Dovier)
  3. Forti Alberto. DAG Scheduling for Grid Computing Systems (sup. Alessandro de Angelis)
  4. Gugliotta Alessio. Knowledge Modelling for Service-oriented Applications in the e-Government Domain (sup. Vito Roberto)
  5. Ieronutti Lucio. Integrating Virtual Humans and Evaluating the Navigational Behavior of Users in 3D Virtual Environments (sup. Luca Chittaro)
  6. Micheloni Christian. A new Active Vision paradigm: from the camera motion to the video quality (sup. Gian Luca Foresti) [*]
  7. Puppis Gabriele. Automata for Branching and Layered Temporal Structures (sup. Angelo Montanari) [E.W. Beth Dissertation Prize 2007].
  8. Redamalla Rekha. Bialgebraic description of generalized binary methods and other topics in the semantics of object-oriented languages (sup. Furio Honsell e Marina Lenisa)
  9. Snidaro Lauro. Sensor performance based fusion for video surveillance (sup. Gian Luca Foresti) [*]


  1. Praveen Boinee Insights into the Machine Learning: Data Clustering and Classification Algorithms for Astrophysiscal Experiments
  2. Demis Ballis Rule-Based Software Verification and Correction
  3. Raffaella Gentilini Graph Algorithms for Massive Data-Sets
  4. Nicola Vitacolonna Intervals: Logics, Algorithms, and Games
  5. Marco Frailis Data Management and Mining in Astrophysical Databases


  1. Yoko Motohama. Intersection Types and Lambda Models (sup. Furio Honsell, Mariangiola Dezani-Ciancaglini)
  2. Guido Sciavicco. Adventures in Propositional Interval Temporal Logics (sup. Angelo Montanari)
  3. Lorenzo Turicchia. Bio-inspired architectures for time-frequency analysis and recognition. (sup. Furio Honsell) [*]


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


  1. Daniela Cancila. Investigations in the Categorical Foundations and Applications of Coalgebras and Hypersets (sup. Furio Honsell)
  2. Alberto Ciaffaglione. Certified Reasoning on Real Numbers and Objects in Co-inductive Type Theory (sup. Furio Honsell, Pietro Di Gianantonio, Claude Kirchner, Luigi Liquori)
  3. Luca Di Gaspero. Local Search Techniques for Scheduling Problems: Algorithms and Software Tools (sup. Andrea Schaerf)


  1. Paolo Coppola. On the Complexity of Optimal Reduction of Functional Programming Languages (sup. Simone Martini)
  2. Massimo Franceschet. Dividing and Conquering the Layered Land (sup. Angelo Montanari)
  3. Carla Piazza. Computing in Non Standard Set Theories (sup. Alberto Policriti)
  4. Ivan Scagnetto. Reasoning about names in Higher-Order Abstract Syntax (sup. Furio Honsell)


  1. Gianluca Franco. Some Intensional Models of Lambda Calculus (sup. Furio Honsell)
  2. 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

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

[*] means Thesis not available because author denied permission