VENI grants for Thomas Neele and Matthias Volk

Our group members Thomas Neele and Matthias Volk have both been awarded VENI grants. The VENI is a personal scientific grant as part of the NWO Talent Programme and is aimed at excellent researchers at the start of their career.

Thomas will develop methods that are capable of analysing the behaviour of software, while also producing a correctness certificate that carefully explains the analysis results. This requires extending advanced methods for efficient analysis with the capability to reason about such certificates and furthermore reduce their size. Independently verifying a certificate gives very high certainty about the correctness of the (safety-critical) software it describes.

Matthias will perform research on the analysis of systems with uncertain probabilities. Existing analysis techniques for complex, safety-critical systems require precise knowledge of the probabilities of component failures. The VENI project will develop analysis techniques for systems with unknown or imprecise probabilities. The new techniques allow to ensure that the overall safety requirements are met, even if there is uncertainty in the component failures.

For more information on the projects, see the NWO VENI 2023 page as well as the press releases of NWO and TU/e.