Gianluca Mezzetti bio photo

Gianluca Mezzetti

@Aarhus, DK

Facebook Github Pure @ au.dk

Participations

Service

  • Member of the Artifact Evaluation Committee of PLDI 2017
  • Chair of the Verification and Validation track of QUATIC 2016

Research projects

  • Member of IST-FP7, FET open Integrated Project, Autonomic Service-Component Ensembles (ASCENS) project

  • Member of PRIN 2010-2011 project Security Horizons

Schools and Workshops

Attended

Had a talk