Informatica quantistica (2012/2013)

Codice insegnamento
4S01923
Docenti
Alessandra Di Pierro, Francesca Monti
Coordinatore
Alessandra Di Pierro
crediti
6
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
I semestre dal 1-ott-2012 al 31-gen-2013.
Pagina Web
http://profs.sci.univr.it/~dipierro/InfQuant/InfQuant12.html

Orario lezioni

I semestre
Giorno Ora Tipo Luogo Note
lunedì 11.30 - 13.30 lezione Laboratorio didattico Gamma  
giovedì 10.30 - 11.30 lezione Aula I  
giovedì 14.30 - 16.30 lezione Aula G  

Obiettivi formativi

Il corso fornisce un'introduzione alla computazione quantistica presentandone le idee di base e illustrando le tecniche e i risultati piu' importanti finora ottenuti. Data la natura interdisciplinare di questo campo di ricerca, il corso richiede conoscenze non limitate ad una formazione puramente informatica. Per questo motivo, il corso prevede una parta preliminare rivolta a offrire il background in matematica e fisica necessario per capire le idee e le tecniche della computazione quantistica, rendendo il corso accessibile anche a non-esperti della materia. La parte centrale del corso e' rivolta ad una trattazione approfondita dei principali risultati relativi a computabilita' e complessita' quantistica nonche' allo sviluppo di algoritmi quantistici.
Vengono inoltre discusse le problematiche relative ai linguaggi di programmazione quantistica. Infine il corso offre un'introduzione alla crittografia quantistica attraverso lo studio di alcuni protocolli quantistici per la distribuzione delle chiavi.

Programma

Introduzione e Background

- Principi di meccanica quantistica (Prof.ssa Monti)
- Spazi vettoriali complessi


Computazione Quantistica

-Il modello dei circuiti
-Macchina di Turing Quantistica
-Trasformata di Fourier e sue applicazioni
-- Stima di autovalori
-- Order finding
-- Fattorizzazione
-Algoritmi di ricerca

Introduzione alla Crittografia Quantistica
Introduzione ai Linguaggi di Programmazione Quantistica

Modalità d'esame

Esame scritto e orale

Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

I dati relativi all'AA 2012/2013 non sono ancora disponibili