conf.researchr.org / Ferruccio Damiani
Ferruccio Damiani

Registered user since Fri 18 Jul 2014

Name:Ferruccio Damiani
Country:Italy
Affiliation:University of Turin
Personal website:http://www.di.unito.it/~damiani/
Research interests:Software organisation, verification and reuse; Computational models and languages; Concurrent, distributed, and mobile systems.

Contributions

ASE 2022 Committee Member in Program Committee within the NIER Track-track
ECOOP 2022 Author of Functional programming for distributed systems with XC within the Research Papers-track
VORTEX 2021 Author of RM for Users’ Safety and Security in the Built Environment within the VORTEX-track
Committee Member in Program Committee within the VORTEX-track
ICSE 2020 Author of Lazy Product Discovery in Huge Configuration Spaces within the Technical Papers-track
VORTEX 2019 Author of A Field Calculus Implementation of Spatial Logic within the VORTEX 2019-track
FASE 2019 Committee Member in Program Committee within the FASE 2019-track
VORTEX 2018 Presenter of On Distributed runtime verification by aggregate computing within the VORTEX-track
FOSD 2016 Committee Member in Program Committee within the FOSD-track
VORTEX 2016 Committee Member in Program Committee within the VORTEX-track
FOOL Committee Member in Program Committee within the FOOL-track