Andrea Pinna – Attività didattica

Insegnamenti

  • Blockchain and Smart Contracts – Master’s Degree in Computer Science, University of Cagliari.

Fino al 2023:

  • Information Systems and DBMS – Master’s Degree in Management and Monitoring of Sustainable Tourism, University of Cagliari.
  • Progetto e sviluppo di applicazioni blockchain – Master’s Degree in Computer Science, University of Cagliari.

Tirocini

Nell’ambito della laurea triennale in Informatica (UniCA), Andrea Pinna propone tirocinii formativi a caratterizzazione scientifica su aree di ricerca della sua research unit. I temi hanno fin’ora riguardato:

  • Ontologie per Pattern di Smart Contracts
  • Account Abstraction su Blockchain
  • Analisi di Tracce d’Esecuzione su Smart Contracts
  • Algoritmi e Tecniche SETI (Search for Extra-Terrestrial Intelligence)
  • Agenti per Produzione di Software Blockchain
  • Sistemi Embedded per Blockchain nel Settore Energetico
  • Framework di Sostenibilità nel Design Software
  • Privacy nelle Blockchain Pubbliche

Tesi Assegnate

Andrea Pinna ha supervisionato numerose tesi di ricerca per studenti di laurea triennale e magistrale negli ambiti delle tecnologie blockchain e DLT, degli smart contract, dell’ingegneria del software e della sostenibilità del software.

I dettagli relativi alle attività dell‘unità di ricerca guidata da Andrea Pinna sono disponibili nella pagina dedicata.

2026

  • Refactoring del software BLISS per la ricerca di Tecnofirme
  • Applicazioni Decentralizzate in SmartPy: Analisi e sviluppo
  • Analisi e Sviluppo di Soluzioni per la Crittografia Omomorfica su Sistemi Blockchain
  • Long-Term Thinking nei progetti software: analisi comparata dei progetti open source
  • Evoluzione del software BLISS per la ricerca di segnali radio narrowband e realizzazione di un ecosistema software integrato
  • Analisi e sperimentazione delle tecniche di Account Abstraction su blockchain EVM
  • Rilevamento di vulnerabilità negli Smart Contract Solidity tramite Knowledge Graph
  • Analisi della piattaforma Qubic e sviluppo di smart contract in QPI
  • Analisi e sviluppo di ambienti immersivi per migliorare la consapevolezza di sicurezza psicologica nei team agili virtuali

2025

  • A toolchain for analyzing fees and transaction sizes on public blockchains: The case of Solana
  • Rilevamento degli attacchi di ice-phishing nella blockchain mediante modelli Transformer
  • Comparazione quantitativa delle prestazioni dei modelli di linguaggio nella generazione di Smart Contract Solana
  • Una toolchain multipiattaforma per l’esecuzione di smart contract
  • Un tutor didattico virtuale nei blockchain virtual worlds potenziato da generazione basata su ricerca

2024

  • Metaverso e Blockchain come nuove frontiere per il turismo
  • Tecniche di Protezione della Privacy in Sistemi Blockchain
  • Analisi e Sviluppo di un Sistema Privato e Sicuro per Certificare i Consumi di Energia Elettrica mediante Blockchain e IoT
  • Soulbound token indossabili per la riconoscibilità visiva dell’avatar nei blockchain virtual worlds
  • Analisi della privacy nelle blockchain pubbliche

Fino al 2023

  • Sistemi di autenticazione basati su blockchain per il metaverso
  • Analisi e realizzazione di mappe digitali a supporto del turismo accessibile
  • La tecnologia blockchain, l’Intelligenza Artificiale e l’Internet of Things per il management del turismo. Analisi dello stato dell’arte e delle applicazioni
  • Analisi e implementazione di Chatbot per il Turismo
  • La Tecnologia Blockchain Nella Filiera Turistica: Ideazione Ed Analisi Di Un Sistema Software Sostenibile Per La Disintermediazione

Tesi assegnate come co-relatore

  • Creazione e utilizzo di un pacchetto software per l’analisi della blockchain di Ethereum
  • Applicazioni degli Smart Contracts alla certificazione di filiere di produzione
  • Una piattaforma per il trading di energia basata su Blockchain
  • Progetto e sviluppo di un sistema Sostenibile orientato alla Blockchain per la gestione dei contratti di lavoro
  • Implementazione di oracoli per sistemi blockchain: un caso d’uso per il curriculum degli studenti
  • Rilevamento del debito tecnico auto-ammesso nei progetti blockchain open source tramite tecniche di Natural Language Processing
  • Sistema Blockchain per la gestione di team effimeri nell’ambito delle metodologie Agili
  • A comparison of Ethereum and Sui
  • Adattamento e validazione di una pipeline di rilevamento di anomalie per dati radioastronomici SETI del Sardinia Radio Telescope