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