Projects
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:

