Loading ...
Ho iniziato il mio percorso di ricerca come assistente studente presso lo Zuse Institute di Berlino, dove ho studiato tecniche data-driven per accelerare gli algoritmi di Programmazione Intera Mista.
Come assegnista di ricerca presso l’Università di Bologna, ho sviluppato un sistema ibrido, basato su apprendimento automatico e ottimizzazione, per la configurazione di algoritmi sotto vincoli definiti dall’utente.
Attualmente, sto progettando un framework per iniettare conoscenza e garantire il soddisfacimento di proprietà formali nelle reti neurali, con l’obiettivo di migliorarne l’affidabilità e la sicurezza.
Vai al Curriculum