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
John Gregory Stockton si è laureato in Ingegneria Elettronica nell’anno 2014 presso l’Università di Studi di Cagliari. Ha iniziato la sua collaborazione con l’Agile Group nel mese di Febbraio 2015 come contrattista in merito alla progettazione e allo sviluppo di applicazioni Software per la modellazione di sistemi complessi e verticalizzazione su piattaforme ERP