Ugo Dal Lago

Un'esplorazione di funzionali di ordine superiore efficienti e delle loro implicazioni nel calcolo.

Esplorando il legame tra logica di separazione e sicurezza crittografica attraverso l'indipendenza.

Un nuovo metodo per la stima delle risorse nei circuiti di calcolo quantistico.

Esplorare metodi per proteggere le informazioni tramite sistemi crittografici.

Uno sguardo a come le parti condividono informazioni nel calcolo quantistico.

Uno sguardo a come il caso influisce sulle tecniche computazionali moderne.