Agostino DovierComputable Set Theory and Logic ProgrammingPh.D. in Computer Science, Pisa-Udine.
Angelo MontanariMetric and Layered Temporal Logic Ph.D., University of Amsterdam (co-promotor, promotor prof. J.F.A.K. van Benthem)
Giovanna D’AgostinoModal Logic and Set Theory: Translation, Bisimulation and Interpolation Ph.D., University of Amsterdam (co-promotor, promotor prof. J.F.A.K. van Benthem).
Carla PiazzaComputing in Non Standard Set Theories Ph.D. in Computer Science, Udine.
Raffaella GentiliniGraph Algorithms for Massive Data Sets Ph.D. in Computer Science, Udine.
Nicola VitacolonnaIntervals: decidability, algorithms, and games Ph.D. in Computer Science, Udine. (co-advisor A. Montanari)
Alberto CasagrandeHybrid Systems: a first-order approach to verification and approximation techniques Ph.D. in Computer Science, Udine.(co-advisor T. Villa)
Simone ScalabrinFloating inside the genomes: from physical maps to transposable elements annotation Ph.D. in Computer Science, Udine.
Marco ZantoniBioinformatics support in a DNA sequence process Ph.D. in Computer Science, Udine.
Cristian Del FabbroRepeated sequences in bioinformatics: assembly, annotation and alignments Ph.D. in Computer Science, Udine.
Francesco VezziNext Generation Sequencing Revolution Challenges: Search, Assemble, and Validate Genomes Ph.D. in Computer Science, Udine.
Francesca NadalinPaired is better: local assembly algorithms for NGS paired reads and applications to RNA-SeqPh.D. in Computer Science, Udine.
Fausto GalvanFirst Quantization Table Detection in Double Compressed JPEG Images Ph.D. in Computer Science, Udine. (co-advisor S. Battiato)
Riccardo VicedominiAlignment and reconciliationstrategies for large-scale de novo assemblyPh.D. in Computer Science, Udine.
Nicola PrezzaCompressed Computation for Text IndexingPh.D. in Computer Science and Mathematical and Physical Sciences, Udine.
Simone SilvettiCombining Machine Learning and Formal Methods for Complex Systems DesignPh.D. in Computer Science and Mathematical and Physical Sciences, Udine.
Eleonora Pippia Optimization and Modeling Techniques for Food Service AppliancesPh.D. in Computer Science and Mathematical and Physical Sciences, Udine.
Emanuele Scapin Task-related models to teach and assess the learning of iteration in the high schoolPh.D. in Computer Science and Mathematical and Physical Sciences, Udine. (co-advisor C. Mirolo)