Coordinatrice Unità di Ricerca

IoT & LLM-Assisted Blockchain Engineering (AI4SE & Edge-DLT).

Gavina Baralla è ricercatrice presso il Dipartimento di Matematica e Informatica dell’Università degli Studi di Cagliari. Coordina l’unità di ricerca sull’ingegneria del software blockchain assistita da modelli linguistici (LLM) e sull’integrazione tra registri distribuiti, Internet of Things e modelli digitali del patrimonio costruito. La sua attività combina ingegneria del software orientata alla blockchain, intelligenza artificiale generativa e progettazione di architetture software interoperabili per la certificazione, la tracciabilità e l’integrità dei dati.

Linee di ricerca

Ingegneria del software blockchain assistita da LLM (AI4SE)

Questa linea di ricerca studia come l’intelligenza artificiale generativa e i Large Language Models possano supportare lo sviluppo di applicazioni blockchain. Le attività riguardano la generazione, l’analisi e il testing di smart contract, la correzione automatica dei difetti e la valutazione empirica, tramite metriche di codice e di prestazione, degli assistenti alla programmazione su piattaforme diverse, tra cui Ethereum (Solidity) e Solana.

Blockchain, IoT e gemelli digitali per il patrimonio costruito (Edge-DLT)

Questa linea di ricerca studia architetture software interoperabili per la gestione sicura e certificata delle informazioni relative a edifici e infrastrutture. Le attività riguardano l’integrazione di componenti blockchain con sistemi IoT e modelli BIM/HBIM, i gemelli digitali immutabili su blockchain permissioned, l’identità digitale (Self-Sovereign Identity), il controllo degli accessi basato sui ruoli e la certificazione tramite smart contract di documenti, dati e interventi lungo il ciclo di vita dell’edificio.

Interoperabilità dei dati e intelligenza artificiale per l’ambiente costruito

Questa linea di ricerca studia come rappresentare, integrare e interrogare la conoscenza sull’ambiente costruito, superando la frammentazione tra modelli informativi degli edifici (BIM/HBIM), standard aperti come IFC e sistemi informativi eterogenei. I temi di interesse comprendono l’interoperabilità semantica, i modelli di dati per informazioni strutturate e non strutturate e le architetture per l’integrazione di sorgenti eterogenee.

Su questa base la linea indaga l’impiego dell’intelligenza artificiale a supporto delle decisioni: sistemi basati su conoscenza e apprendimento automatico per l’analisi e la valutazione del patrimonio edilizio, con particolare attenzione alla spiegabilità e all’affidabilità dei risultati.

Tracciabilità, filiere e sostenibilità

Questa linea di ricerca studia l’impiego della tecnologia blockchain per garantire trasparenza, autenticità e tracciabilità lungo le filiere di prodotti e servizi, e il contributo che i registri distribuiti possono dare agli obiettivi di sostenibilità. I temi di interesse comprendono la filiera agroalimentare e la tutela dei prodotti tipici, la gestione dei rifiuti, il turismo sostenibile e i modelli di disintermediazione dei servizi.

La linea affronta inoltre la sostenibilità dei sistemi software basati su blockchain: i criteri per progettare applicazioni decentralizzate sostenibili sotto il profilo tecnico, economico, sociale e ambientale e la loro integrazione nei processi di sviluppo agili.

Pubblicazioni recenti

• Baralla, G., Ibba, G., Tonelli, R. (2026). Reasoned or Rapid code? Unveiling the strengths and limits of DeepSeek for Solidity development. Information and Software Technology, vol. 189, 107917. DOI
• Baralla, G., Cocco, L., Di Francesco, M., Tonelli, R. (2025). Integrating Blockchain, SSI, and RBAC for the Secure Management of Defense Heritage Buildings. IEEE Access, vol. 13, pp. 86290–86307. DOI
• Baralla, G., Pinna, A. (2025). Blockchain for waste management. In: Digital Twin and Blockchain for Sensor Networks in Smart Cities, pp. 161–175, Elsevier. DOI
• Baralla, G., Ibba, G., Tonelli, R. (2024). Assessing GitHub Copilot in Solidity Development: Capabilities, Testing, and Bug Fixing. IEEE Access, vol. 12, pp. 164389–164411. DOI
• Baralla, G., Pinna, A., Tonelli, R., Marchesi, M. (2023). Waste management: A comprehensive state of the art about the rise of blockchain technology. Computers in Industry, vol. 145, 103812. DOI

L’elenco completo delle pubblicazioni è disponibile su Google Scholar e su IRIS UniCa.

Didattica e profilo scientifico

Gavina Baralla è docente dell’insegnamento Data Base e Data Analytics nel corso di laurea in Informatica Applicata e Data Analytics (IADA) dell’Università degli Studi di Cagliari dal 2023.

È docente del corso online “Il Sistema Bitcoin”, disponibile sulla piattaforma Edvance – EFIS MOOC UNICA.

Ha conseguito il Dottorato di Ricerca in Ingegneria Elettronica e Informatica presso l’Università degli Studi di Cagliari, con una tesi sulle tecnologie abilitanti per lo sviluppo delle smart cities, e nel 2026 l’Abilitazione Scientifica Nazionale alle funzioni di professoressa di II fascia nel settore concorsuale 01/B1 – Informatica.

Nell’ambito del progetto IMASS-CHAIN – Infrastructure Management Support System Chain, finanziato dal Ministero della Difesa (PNRM 2020), cura il coordinamento tecnico-scientifico della fase dedicata al prototipo della piattaforma di governance.

Dal 2024 è socia fondatrice di Quantum Futuris S.r.l., spin-off dell’Università degli Studi di Cagliari attivo nello sviluppo di soluzioni software avanzate in ambito quantum computing, intelligenza artificiale, blockchain e IoT.

e-mail: gavina.baralla [at] unica.it
Pagina di Ateneo: unica.it – Gavina Baralla