Research

My research theme is sustainable digitalization. This includes both research on energy consumption of software, and inclusion/privacy research. Read more on my profile on my about page.

Download my PhD thesis about sustainable software (2016)

Publications

Projects

Currently:

  • Life cycle assessments of software (funded by TNO; started in 2024).

  • Choosing the most energy efficient algorithm at runtime (internally funded; started in 2023).

  • NOLAI Sustainable data lead (together with Erik Poll), including supervising a PhD project on Assuring Privacy and Security of Research Data (€ 270k), part of the larger National Education Lab AI (called NOLAI). PhD project started in 2023;

  • Trade offs between public values in the data driven energy transition (internally funded, started in 2023).

  • ERC proof-of-concept project (€ 150k): creating a privacy impact assessment dashboard for metal health apps (together with TILT, Tilburg, started in 2022).

Past (highlighted only, obtained, or took part in):

  • Formally verified Network-on-chips (funded by Intel, was my own PhD project);

  • PEP-NOLAI project (~2100k, 2022): creating the digital infrastructure for the National Education Lab AI.

  • REACT project (300k): Extending PEP: instead of bringing the data to the algorithms (as is the case with PEP), the algorithms can be computed at the storage location of the data.

  • PEP project (~1700k, funded by EU EFRO, 2016): a privacy-friendly data repository for medical data research.

  • ERC Proof of concept (150k, 2022): privacy in mental health apps, together with Tilburg University.

Student project ideas

I will act as internal supervisor for all projects listed at InfoSupport Code Green (they offer compensation).

  • Fuzzing the energy consumption of software;

  • Energy analysis of the AEOS access control system of NEDAP (together with Artur van Leeuwen of NEDAP).

  • Implementing symbolic execution visualize energy consumption of external devices for Rust;

  • Carbon assessments of software;

  • Compare energy consumption of Bw-Trees with B-Trees and other data structures (LSM Tree?), using the test set up in our Software Energy Lab;

  • Adding energy consumption to tracing frameworks for anaylsing production deployments;

  • Extending GitLab to enable teams to save energy in their IT products;

  • Creating a test framework for Rust energy testing, based on criterion;

  • Using snapshots of production data to energy profile IT applications;

  • How to specify sustainability requirements during procurement ('inkoop') of IT products;

  • Energy consumption of different GUI frameworks (intermediate-mode, retained, etc);

  • Comparison of async run times in Rust and C++, on properties such as memory usage, energy consumption, kernel calls, etc;

  • Microservice architecture using pseudonimization for central identifiers (using libpep);