Gruppi di ricerca

Blockchain

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.
Referenti
Sara Migliorini

Alberto Belussi
Professore associato
Sara Migliorini
Ricercatore a tempo determinato
Mauro Gambini
Assegnista
Nicola Fausto Spoto
Professore associato
Argomento Area di ricerca
Analisi di grandi quantità di dati Sistemi informativi ed analisi dei dati
Information systems applications
Analisi statica Sicurezza informatica
Software organization and properties
Analisi statica Ingegneria del Software e verifica formale
Software organization and properties
Blockchain and smart contracts Sicurezza informatica
Software creation and management
Blockchain and smart contracts Ingegneria del Software e verifica formale
Software creation and management
Esecuzione ed ottimizzazione di interrogazioni spazio-temporali Sistemi informativi ed analisi dei dati
Data management systems
Infrastrutture per i dati spaziali Sistemi informativi ed analisi dei dati
Information systems applications
Progettazione concettuale di basi di dati spaziali Sistemi informativi ed analisi dei dati
Information systems applications
Semantica di programmi Algebra, Geometria e Logica Matematica
Semantics and reasoning
Semantica di programmi Algoritmi, Logica e teoria della computazione
Semantics and reasoning
Semantica di programmi Ingegneria del Software e verifica formale
Semantics and reasoning
Sistemi di raccomandazione Sistemi informativi ed analisi dei dati
Information systems applications
Sistemi Informativi orientati ai processi Sistemi informativi ed analisi dei dati
Information systems applications

Attività

Strutture

Condividi