- Docente: Ivan Lanese
- Crediti formativi: 6
- SSD: INF/01
- Lingua di insegnamento: Inglese
- Moduli: Ivan Lanese (Modulo 1) Ugo Dal Lago (Modulo 2)
- Modalità didattica: Convenzionale - Lezioni in presenza (Modulo 1) Convenzionale - Lezioni in presenza (Modulo 2)
- Campus: Bologna
- Corso: Laurea Magistrale in Informatica (cod. 5898)
Conoscenze e abilità da conseguire
Al termine del corso, lo studente conosce le nozioni matematiche soggiacenti il calcolo quantistico, ed è in grado di implementare algoritmi quantistici nella forma di famiglie di circuiti quantistici. E' inoltre a conoscenza di tematiche più avanzate come la crittografia e la correzione di errori quantistica, e lo sviluppo di linguaggi grafici per descrivere circuiti quantistici.
Contenuti
Primo modulo:
- introduzione alla computazione quantistica
- fondamenti matematici: algebra lineare e spazi di Hilbert complessi
- qubits e cenni alla fisica della computazione quantistica
- un modello di calcolo quantistico: i circuiti quantistici
Secondo modulo:
- discussione di alcuni algoritmi quantistici (Grover, Shor)
- cenni alla correzione di errori e alla crittografia quantistica
- cenni alla programmazione quantistica e ai linguaggi grafici quantistici
Testi/Bibliografia
[1] P. Kaye, R. Laflamme, M. Mosca.An introduction to quantum computing. Oxford University Press, 2007.
[2] M. Hirvensalo.Quantum computing. Springer, 2004.
Metodi didattici
Il corso include lezione teoriche ed esercizi. Gli esercizi di programmazione saranno svolti dagli studenti sui loro computer, singolarmente o in piccoli gruppi.
Modalità di verifica e valutazione dell'apprendimento
Il corso prevede un esame orale. Previo accordo coi docenti l'orale puo' essere sostituito da un progetto o un approfondimento.
Strumenti a supporto della didattica
Il materiale didattico sara' fornito tramite il sito Virtuale.
Orario di ricevimento
Consulta il sito web di Ivan Lanese
Consulta il sito web di Ugo Dal Lago