Studio del modello circuitale quantistico e della sua universalità, approfondimento delle principali tecniche quantistiche per la progettazione di algoritmi e la loro analisi, introduzione di alcuni linguaggi di programmazione quantistica e di alcune piattaforme software per la specifica di computazioni quantistiche.