Informatica · Ricerca · Didattica · Terza missione
Ricercatore e docente in Informatica
Dipartimento di Informatica, Università di Pisa
Studio come progettare, distribuire e rendere osservabili sistemi software su infrastrutture eterogenee, dal continuum Cloud–Edge al quantum cloud, con attenzione a sicurezza, sostenibilità e qualità del servizio.
Aperto a collaborazioni scientifiche, tesi e iniziative di divulgazione.
01 · Profilo
La mia ricerca riguarda l’ingegneria di sistemi software distribuiti eseguiti su infrastrutture eterogenee. Il punto comune è trasformare differenze di capacità, affidabilità, consumo, costo e fiducia in informazioni utilizzabili per decidere placement, decomposizione, orchestrazione ed esecuzione.
Lavoro con modelli dichiarativi, architetture a servizi, prototipi open source ed esperimenti riproducibili. Negli ultimi anni ho esteso questi temi dal continuum Cloud–Edge alle infrastrutture quantum cloud.
02 · Ricerca
Tre filoni collegati da un approccio orientato ai requisiti non funzionali, alla riproducibilità e alla realizzazione di strumenti concretamente riutilizzabili.
Metodi e infrastrutture per distribuire, ottimizzare e rendere riproducibile l’esecuzione di circuiti quantistici su QPU eterogenee: circuit cutting, distribuzione degli shot, benchmarking, selezione hardware-aware e controllo adattivo dell’esecuzione.
Placement e simulazione di applicazioni distribuite nel continuum Cloud–Edge, con particolare attenzione a orchestrazioni FaaS, osservabilità dei dati energetici, consumo delle risorse e architetture a microservizi.
Security-by-design per applicazioni distribuite: placement sensibile ai flussi informativi e alla fiducia nei provider, threat modeling, partizionamento sicuro e piattaforme di esecuzione affidabili.
Progetti e software
Distribuzione di frammenti di circuiti quantistici e shot su più computer NISQ, con ricostruzione del risultato e analisi del compromesso tra parallelismo, overhead e qualità.
RepositoryLibreria, dataset e procedure per confrontare in modo riproducibile software quantistico su algoritmi, circuiti, budget di shot e backend differenti.
RepositoryArchitettura a microservizi per acquisire, trasformare, aggregare e rendere osservabili dati energetici eterogenei, sviluppata nel progetto NEST.
RepositoryPrototipo dichiarativo per determinare placement di catene FaaS considerando requisiti hardware, software, latenza, sensibilità dei dati e fiducia nei provider.
RepositorySimulatore a eventi discreti per deployment ed esecuzione di orchestrazioni FaaS su infrastrutture Cloud–IoT dinamiche, con fallimenti, ripristini e metriche energetiche.
RepositoryApplicazione didattica e divulgativa che usa un gioco interattivo per introdurre concetti di calcolo e software quantistico.
Repository03 · Pubblicazioni
Una selezione di lavori rappresentativi. L’elenco completo e aggiornato è disponibile su Google Scholar e ORCID.
9 pubblicazioni visibili
Nessuna pubblicazione corrisponde ai filtri selezionati.
04 · Terza missione
Due attività continuative attraverso cui porto ricerca e programmazione fuori dall’aula, con iniziative rivolte a studenti, famiglie e pubblico non specialista.
Membro fondatore · Ricerca e divulgazione
Partecipo alle attività del gruppo su quantum computing e quantum software engineering, contribuendo all’organizzazione del Pisa Quantum Festival 2024 e 2025 e a dimostrazioni pubbliche basate su QTris, tra cui BRIGHT-NIGHT e Internet Festival.
Visita il gruppoMentore e organizzatore volontario
Preparo materiali e conduco incontri gratuiti per bambini e ragazzi su Scratch, Python, micro:bit, machine learning e robotica educativa, seguendo i partecipanti nella realizzazione dei loro progetti.
Scopri CoderDojoContatti
Aperto a collaborazioni scientifiche, tesi e iniziative di divulgazione.
