Research groups

Blockchain

Alberto Belussi: Associate Professor
Nicola Fausto Spoto: Associate Professor

Sara Migliorini: Temporary Assistant Professor

Research interests
Topic	Research area
Data intensive scalable computing	Sistemi informativi ed analisi dei dati Information systems applications
Static program analysis	Ingegneria del Software e Verifica Formale Automated static analysis
Blockchain and smart contracts	Ingegneria del Software e Verifica Formale Software creation and management
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
Machine learning on spatial data	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

Projects
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