L'attività del gruppo di ricerca riguarda diverse tematiche relative allo sviluppo e all'applicazione della tecnologia blockchain e dell'infrastruttura degli smart contracts. In particolare, le principali tematiche di studio sono:
- blockchain data analytics: analisi dei dati contenuti all'interno di una o più blockchain attraverso tecniche di big data,
- verification and reasoning on smart contract: applicazione di tecniche di analisi automatica della correttezza degli smart contracts e di tecniche di ragionamento automatico sul contenuto di tali contratti,
- distributed autonomous organizations: applicazione della tecnologia blockchain e smart contract per la definizione di nuove forme organizzative decentralizzate, e
- blockchain for IoT: definizione di versioni della blockchain specificatamente studiate per essere integrate in dispositivi IoT.
