Linguaggi e Quantum Computing

Proposta di tesi

Linguaggi e Quantum Computing

Garante
Alessandra Di Pierro
Corso di studi
Dottorato in Informatica (ultimo ciclo attivato 28° - anno 2013), Laurea specialistica in Informatica

Descrizione

Nell'ambito dei linguaggi di programmazione quantistica si vogliono studiare le strutture matematiche (domini) per definire (vari tipi di) semantiche per tali linguaggi e le tecniche appropriate per l'analisi statica delle loro proprieta'.