Prof. Ugo Dal Lago

Alma Mater Studiorum - Università di Bologna · Ingegneria e architettura · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Ugo Dal Lago

A Modern Approach – Languages And Algorithms For Artificial Intelligence I.C. (Artificial Intelligence, 1º anno · 2º semestre · 12 CFU)
Michael Kearns – Vazirani – Languages And Algorithms For Artificial Intelligence I.C. (Artificial Intelligence, 1º anno · 2º semestre · 12 CFU)
From Theory to Algorithms – Languages And Algorithms For Artificial Intelligence I.C. (Artificial Intelligence, 1º anno · 2º semestre · 12 CFU)
Dirk van Dalen. Logic and structure. 4th edition, – Project Work in Languages And Algorithms For Artificial Intelligence (Artificial Intelligence, esame facoltativo · 3 CFU)
Russell, Norvig. Artificial Intelligence: A Modern Approach (any – Project Work in Languages And Algorithms For Artificial Intelligence (Artificial Intelligence, esame facoltativo · 3 CFU)
Computational Complexity – A Modern Approach – Project Work in Languages And Algorithms For Artificial Intelligence (Artificial Intelligence, esame facoltativo · 3 CFU)
Michael Kearns – Vazirani – Project Work in Languages And Algorithms For Artificial Intelligence (Artificial Intelligence, esame facoltativo · 3 CFU)
Shai Shalev-Shwartz and Shai Ben-David – Project Work in Languages And Algorithms For Artificial Intelligence (Artificial Intelligence, esame facoltativo · 3 CFU)
Lindell – Introduction to Modern Cryptography – Cryptography (Artificial Intelligence, esame facoltativo · 6 CFU)
[2] O. Goldreich. Foundations of Cryptography I: Basic – Cryptography (Artificial Intelligence, esame facoltativo · 6 CFU)
Goldreich – Foundations of Cryptography II – Cryptography (Artificial Intelligence, esame facoltativo · 6 CFU)
Stinson – Theory and practice – Cryptography (Artificial Intelligence, esame facoltativo · 6 CFU)
Buchmann – Introduction to Cryptography – Cryptography (Artificial Intelligence, esame facoltativo · 6 CFU)
Abadi – Security Protocols – Cryptography (Artificial Intelligence, esame facoltativo · 6 CFU)
Rogaway – Reconciling Two Views of Cryptography – Cryptography (Artificial Intelligence, esame facoltativo · 6 CFU)
Blanchet – An Efficient Cryptographic Protocol Verifier Based on… – Cryptography (Artificial Intelligence, esame facoltativo · 6 CFU)

Materie del prof. Ugo Dal Lago

Languages And Algorithms For Artificial Intelligence I.C. – con Prof. Paolo Felli, Prof. Claudio Sacerdoti Coen Canale unico

Corso di laurea: Artificial Intelligence · Laurea magistrale (LM-18) · 1º anno · 2º semestre · 12 CFU

Bologna · Ingegneria e architettura · 12 CFU · apri nel catalogo · Artificial Intelligence · 1º anno · 2º semestre ›

Il docente indica 3 testi · da studiare tutti

[1] Sanjeev Arora and Boaz Barak, Computational Complexity

A Modern Approach Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Michael Kearns – Vazirani Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

From Theory to Algorithms Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso fornisce innanzitutto alcuni rudimenti di teoria della computabilità e della complessità: macchine di Turing, indecidibilità, tempo polinomiale e NP-completezza. Verso la fine del corso, daremo poi una panoramica sulla cosiddetta computational learning theory: PAC Learning, apprendimento tramite convergenza uniforme, VC-Dimension.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Project Work in Languages And Algorithms For Artificial Intelligence Canale unico

Corso di laurea: Artificial Intelligence · Laurea magistrale (LM-18) · esame facoltativo · 3 CFU

Bologna · Ingegneria e architettura · 3 CFU · apri nel catalogo · Artificial Intelligence · 2º anno · 1º semestre ›

Il docente indica 5 testi · da studiare tutti

Dirk van Dalen. Logic and structure. 4th edition,Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Russell, Norvig. Artificial Intelligence: A Modern Approach (any Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Computational Complexity – A Modern Approach Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Michael Kearns – Vazirani Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Shai Shalev-Shwartz and Shai Ben-David Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: I contenuti del progetto saranno concordati con il docente titolare dell'insegnamento.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Cryptography Canale unico

Corso di laurea: Artificial Intelligence · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Bologna · Ingegneria e architettura · 6 CFU · apri nel catalogo · Artificial Intelligence · 2º anno · 1º semestre ›

Il docente indica 8 testi · da studiare tutti

Lindell – Introduction to Modern Cryptography Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

[2] O. Goldreich. Foundations of Cryptography I: Basic Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Goldreich – Foundations of Cryptography II Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Stinson – Theory and practice Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Buchmann – Introduction to Cryptography Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Abadi – Security Protocols Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Rogaway – Reconciling Two Views of Cryptography Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Blanchet – An Efficient Cryptographic Protocol Verifier Based on…Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Questo corso tratta di alcuni risultati fondamentali della crittografia moderna e di alcune tecniche per la verifica formale dei protocolli crittografici. Oltre a molti concetti nuovi, si discutono alcune tecniche crittografiche già note dai corsi di laurea triennali, studiandone le proprietà più interessanti.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Cryptography Canale unico

Corso di laurea: Informatica · Laurea magistrale (LM-18) · 2º anno · 1º semestre · Tecniche del software · 6 CFU

Bologna · Scienze · 6 CFU · apri nel catalogo · Informatica · 2º anno · 1º semestre ›

Il docente indica 8 testi · da studiare tutti

Lindell – Introduction to Modern Cryptography Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

[2] O. Goldreich. Foundations of Cryptography I: Basic Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Goldreich – Foundations of Cryptography II Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Stinson – Theory and practice Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Buchmann – Introduction to Cryptography Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Abadi – Security Protocols Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Rogaway – Reconciling Two Views of Cryptography Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Blanchet – An Efficient Cryptographic Protocol Verifier Based on…Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Domande frequenti

Quali libri consiglia il prof. Ugo Dal Lago per Languages And Algorithms For Artificial Intelligence I.C.?

A Modern Approach; Michael Kearns – Vazirani; From Theory to Algorithms

Quali libri consiglia il prof. Ugo Dal Lago per Project Work in Languages And Algorithms For Artificial Intelligence?

Dirk van Dalen. Logic and structure. 4th edition,; Russell, Norvig. Artificial Intelligence: A Modern Approach (any; Computational Complexity – A Modern Approach; Michael Kearns – Vazirani; Shai Shalev-Shwartz and Shai Ben-David

Quali libri consiglia il prof. Ugo Dal Lago per Cryptography (Artificial Intelligence, canale unico)?

Lindell – Introduction to Modern Cryptography; [2] O. Goldreich. Foundations of Cryptography I: Basic; Goldreich – Foundations of Cryptography II; Stinson – Theory and practice; Buchmann – Introduction to Cryptography; Abadi – Security Protocols; Rogaway – Reconciling Two Views of Cryptography; Blanchet – An Efficient Cryptographic Protocol Verifier Based on…

Quali libri consiglia il prof. Ugo Dal Lago per Cryptography (Informatica, canale unico)?