Training and Research
PhD Programme Courses/classes
This page lists the training activities for the PhD programme for the academic year 2025/2026. Additional activities will be added during the year. Please check back regularly for updates!
MultiOmics Patien Stratification
Credits: 3
Language: Inglese
Teacher: Laganà Alessandro, Rosalba Giugno
Teoria dei Grafi
Credits: 6
Language: inglese
Teacher: Romeo Rizzi
Introduction to Blockchain
Credits: 3
Language: English
Teacher: Sara Migliorini
Automated Software Testing
Credits: 4
Language: English
Teacher: Mariano Ceccato
Introduction to Proof Theory
Credits: 4
Language: Italiano/Inglese
Teacher: Andrea Masini
Teoria dei Grafi
Credits: 6
Language: inglese
Teacher: Romeo Rizzi
Sicurezza dei Sistemi Ciberfisici
Credits: 3
Language: English
Teacher: Massimo Merro
Data Analysis Techniques on Healthcare Data
Credits: 3
Language: English
Teacher: Matteo Mantovani
Elements of Machine Teaching
Credits: 3
Language: English
Teacher: Ferdinando Cicalese
Introduction to Quantum Machine Learning
Credits: 3
Language: Italiano e Inglese
Teacher: Alessandra Di Pierro
LaTeX per la letteratura accademica
Credits: 3
Language: Inglese
Teacher: Enrico Gregorio
Apprendimento basato su Logica
Credits: 5
Language: Inglese/English
Teacher: Fabio Aurelio D'Asaro
Teoria dei Grafi (2025/2026)
Teacher
Referent
Credits
6
Language
inglese
Class attendance
Free Choice
Location
VERONA
Learning objectives
Elements and models of algorithmic graph theory, the practice of computational complexity to relate problems and as a methodological tool, methodologies and techniques in algorithm design.
Prerequisites and basic notions
Interest for the topic and basic notions of set theory.
Program
The specific topics to be covered in our class can be chosen together, according to your interests.
Just to have a rough idea, topics that I would certainly like to cover are:
1. shortest paths, negative cycles
2. maximum flows and minimum cuts
3. edge connectivity
4. vertex connectivity
5. matchings in bipartite graphs (also weighted)
6. matchings in non-bipartite graphs (also weighted)
7. good characterizations in general
8. polynomial algorithms and data structures
9. computational complexity and FPT algorithms
10. polyhedral combinatorics
Bibliography
Didactic methods
Didattica frontale in aula, con streaming verso l'esterno via Zoom e registrazione delle lezioni.
Il gruppo telegram di supporto al corso (t.me/+6PoS9O0d-MQxNjQ0) servirà anche come canale di upstream per lo streaming.
Learning assessment procedures
Some interactive problems with contextual feedback are made available on our rtal platform. Students can use them to verify their acquisition of some of the algorithmic and modeling skills introduced.
We will determine together whether some of these exercises should be considered mandatory for assessment purposes.
Assessment
Students will decide whether certifying an assessment is necessary for them or anyhow of interested to them. A possible procedure to obtain an assessment is described in the Exam Procedures section.
Criteria for the composition of the final grade
Through a reasonable and concerted monotonous function of the points collected on our rtal platform and any optional contributions that students wish to express.