Research groups

Blockchain

Alberto Belussi
Associate Professor
Sara Migliorini
Temporary Assistant Professor
Mauro Gambini
Research Scholarship Holders
Nicola Fausto Spoto
Associate Professor
Topic Research area
Data intensive scalable computing Sistemi informativi ed analisi dei dati
Information systems applications
Static Analysis Ingegneria del Software e verifica formale
Software organization and properties
Blockchain and smart contracts Ingegneria del Software e verifica formale
Software creation and management
Spatial query processing and optimization Sistemi informativi ed analisi dei dati
Data management systems
Geographical Information Systems & Spatial Data Infrastructures (SDI) Sistemi informativi ed analisi dei dati
Information systems applications
Conceptual modeling of spatial databases Sistemi informativi ed analisi dei dati
Information systems applications
Program semantics Ingegneria del Software e verifica formale
Semantics and reasoning
Sistemi di raccomandazione Sistemi informativi ed analisi dei dati
Information systems applications
Process-Aware Information Systems Sistemi informativi ed analisi dei dati
Information systems applications
Title Managers Sponsors Starting date Duration (months)
Implementation of a Java Framework for Smart Contracts Nicola Fausto Spoto Ailia SA Jan 1, 2019 12
Integration between the Takamaka language for smart contracts in Java and the blockchain Takamaka, with user documentation. Nicola Fausto Spoto Ailia SA Jun 16, 2020 6
Study and documentation of the Cosmos SDK for programming blockchains Nicola Fausto Spoto Commerc.io srl Oct 1, 2020 2

Activities

Research facilities

Share