Ph.D. students
Former
-
Agostino Dovier Computable Set Theory and Logic Programming Ph.D. in Computer Science, Pisa-Udine.
-
Angelo Montanari Metric and Layered Temporal Logic Ph.D., University of Amsterdam (co-promotor, promotor prof. J.F.A.K. van Benthem)
-
Giovanna D’Agostino Modal Logic and Set Theory: Translation, Bisimulation and Interpolation Ph.D., University of Amsterdam (co-promotor, promotor prof. J.F.A.K. van Benthem).
-
Carla Piazza Computing in Non Standard Set Theories Ph.D. in Computer Science, Udine.
-
-
Nicola Vitacolonna Intervals: decidability, algorithms, and games Ph.D. in Computer Science, Udine. (co-advisor A. Montanari)
-
Alberto Casagrande Hybrid Systems: a first-order approach to verification and approximation techniques Ph.D. in Computer Science, Udine.(co-advisor T. Villa)
-
Simone Scalabrin Floating inside the genomes: from physical maps to transposable elements annotation Ph.D. in Computer Science, Udine.
-
Marco Zantoni Bioinformatics support in a DNA sequence process Ph.D. in Computer Science, Udine.
-
Cristian Del Fabbro Repeated sequences in bioinformatics: assembly, annotation and alignments Ph.D. in Computer Science, Udine.
-
Francesco Vezzi Next Generation Sequencing Revolution Challenges: Search, Assemble, and Validate Genomes Ph.D. in Computer Science, Udine.
-
-
Francesca Nadalin Paired is better: local assembly algorithms for NGS paired reads and applications to RNA-Seq Ph.D. in Computer Science, Udine.
-
Fausto Galvan First Quantization Table Detection in Double Compressed JPEG Images. Ph.D. in Computer Science, Udine. (co-advisor S. Battiato)
-
Riccardo Vicedomini Alignment and reconciliationstrategies for large-scale de novo assembly. Ph.D. in Computer Science, Udine.
-
Nicola Prezza Compressed Computation for Text Indexing. Ph.D. in Computer Science and Mathematical and Physical Sciences, Udine.
-
Simone Silvetti Combining Machine Learning and Formal Methods for Complex Systems Design Ph.D. in Computer Science and Mathematical and Physical Sciences, Udine.
Current
- Eleonora Pippia Optimization and Modeling Techniques for Food Service Appliances