Argomenti di tesi proposti dal docente.
Ultime tesi seguite dal docente
Tesi di Laurea
- Analisi Sperimentale del Costo Computazionale di Problemi su Grafi Formulati in Programmazione Lineare Intera
- 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
- Sulla riscrittura dei termini in presenza di effetti probabilistici
Tesi di Laurea Magistrale
- Integrating Dynamic Lifting into Qiskit
- Integrazione di un Target System in Diverse Piattaforme di Digital Identity
