Sono una dottoranda in Computer Science presso la Scuola IMT Alti Studi di Lucca.

Ho conseguito la mia laurea triennale in Matematica e magistrale in Scienze Computazionali presso l’Università degli Studi di Roma Tre.
Mi occupo di cybersecurity e linguaggi formali.

La mia ricerca si focalizza sulla modellazione e l’analisi di protocolli quantum attraverso linguaggi formali.

Come membro del Game Science Research Center, ho sviluppato con il team formato da altri quattro dottorandi, Arturo Mariano Iannace, Francesca Randone, Margherita Renieri, Serenella Valiani e
sotto la supervisione del Professor Ennio Bilancini, la parte di gamification del progetto CyberTrials in collaborazione con il Consorzio Interuniversitario Nazionale per l’Informatica (CINI).