Research groups

Blockchain

Alberto Belussi: Associate Professor
Sara Migliorini: Temporary Assistant Professor

Mauro Gambini: Research Scholarship Holders
Nicola Fausto Spoto: Associate Professor

Research interests
Topic	Research area
Data intensive scalable computing	Sistemi informativi ed analisi dei dati Information systems applications
Static Analysis	Sicurezza informatica Software organization and properties
Static Analysis	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
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	Algebra, Geometria e Logica Matematica Semantics and reasoning
Program semantics	Algoritmi, Logica e teoria della computazione Semantics and reasoning
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