SPACES Research Group

Semantics and Programming Abstractions for Cloud and Embedded Systems

The SPACES group aims at bringing the power of high level programming languages to the real world. SPACES stands for Semantics and Programming Abstractions for Cloud and Embedded Systems, it is composed by Prof. Maurizio Gabbrielli, Prof. Ivan Lanese, PostDoc researcher Saverio Giallorenzo, and PhD candidates Stefano Pio Zingaro and Tong Liu.