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
Face-to-face classroom teaching, with streaming to the outside via Zoom and recording of lessons.
The course support Telegram group (t.me/+6PoS9O0d-MQxNjQ0) will also serve as an upstream channel for the 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.
Scheduled Lessons
| When | Classroom | Teacher | topics |
|---|---|---|---|
|
Thursday 02 April 2026 14:30 - 17:30 Duration: 3:00 AM |
Ca' Vignal 3 - T.03 [03 - T] | Romeo Rizzi | rappresentazione di grafi su file e in memoria grafi come relazioni componenti connesse certificati di connessione e di non connessione algoritmo BFS e albero dei cammini minimi algoritmo di Dijkstra |
|
Thursday 09 April 2026 14:30 - 17:30 Duration: 3:00 AM |
Ca' Vignal 3 - T.03 [03 - T] | Romeo Rizzi | visita DFS su grafi non diretti albero DFS e sue proprietà strutturali 2-connectivity e 2-edge-connectivity e computo delle componenti 2-connesse e 2-edge connesse tramite la DFS |
|
Thursday 16 April 2026 14:30 - 17:30 Duration: 3:00 AM |
Ca' Vignal 3 - T.03 [03 - T] | Romeo Rizzi | buona caratterizzazione dei DAGs algoritmo DFS su grafi diretti e proprietà dell'albero DFS decidere se un grafo è un DAG con la DF computo delle componenti fortemente connesse con la DFS problemi di flusso e max-flow min-cut theorem, algoritmo di Ford-Fulkerson |
|
Thursday 23 April 2026 14:30 - 16:30 Duration: 2:00 AM |
Ca' Vignal 3 - T.03 [03 - T] | Romeo Rizzi | massimo matching su grafi bipartiti buone caratterizzazioni, linguaggi di SI e di NO, NP e coNP versus P, buone congetture e buoni teoremi minimo node-cover cammini aumentanti algoritmo e dimostrazione del buon teorema di Konig |
|
Thursday 23 April 2026 16:30 - 17:30 Duration: 1:00 AM |
Ca' Vignal 3 - T.06 [06 - T] | Romeo Rizzi | part 2 of the meeting: topological sort proposal of a problem about good characterizations (Pirellone) |
|
Thursday 30 April 2026 14:30 - 17:30 Duration: 3:00 AM |
Ca' Vignal 3 - T.03 [03 - T] | Romeo Rizzi | riconoscimento di grafi bipartiti, buona congettura e algoritmo definizione di NP, argomentazione che SAT è NP-completo riduzione per local replacement: da SAT a 3-SAT riduzione per gadget construction: da 3-SAT a vertex cover riduzione per generalizzazione: da vertex cover a set cover generalizzazione per cambio prospettiva: da set cover a hitting set |
|
Thursday 07 May 2026 14:30 - 17:30 Duration: 3:00 AM |
To be defined | Romeo Rizzi | massimo matching su grafi non bipartiti Tutte-Berge formula i blossoms e l'algoritmo di Edmonds |
|
Thursday 14 May 2026 14:30 - 17:30 Duration: 3:00 AM |
Ca' Vignal 3 - T.03 [03 - T] | Romeo Rizzi | ricerca di cicli negativi in grafi diretti lo scheduling in Simple Temporal Networks l'algoritmo di Bellmann-Ford flussi massimi di costo minimo |
|
Thursday 28 May 2026 14:30 - 17:30 Duration: 3:00 AM |
Ca' Vignal 3 - T.03 [03 - T] | Romeo Rizzi | presentazione di progetti di lavoro - flow graphs - il cervello come grafo: introduzione generale e alcune metriche |