I am or was a member of the following research projects:

  • ECZK: Zero Knowledge Proofs in EasyCrypt, as part of SIEVE - Securing Information for Encrypted Verification and Evaluation
  • InteGrid: Demonstration of Intelligent grid technologies for renewables Integration and Interactive consumer participation enabling Interoperable market solutions and Interconnected stakeholders
  • UPGRID: Real proven solutions to enable active demand and distributed generation flexible integration, through a fully controllable low voltage and medium voltage distribution grid
  • TEC4Growth SMILES: Smart, Mobile, Intelligent, large scale sensing and analytics
  • PRACTICE: Privacy-Preserving Computation in the Cloud
  • BiG: A Grand Challenge Project on Bidirectional Graph (Model) Transformation
  • FATBIT: Foundations, Applications and Tools for Bidirectional Transformation
  • PURe: Program Understanding and Re-engineering: Calculi and Applications

I also maintain some software packages: