Ugo Dal Lago

Tesi di Laurea

• Bilanciare Ottimalità e Privacy: un’Analisi della Privacy Differenziale nel Contesto Combinatorio
• Distributed Broadcast Encryption: Implementazione e Analisi delle Prestazioni
• PLI e MAXSAT: Analisi Comparativa su Problemi di Ottimizzazione Combinatoria
• Quantum Circuit Size Estimation via Hoare Logic
• Resource Estimation of Quantum Programs through Type Inference: QuRA and Shor’s Algorithm