The VENI grant is part of the NWO Talent Programme and targets excellent researchers who have recently obtained their PhDs. Our group member Clemens Dubslaff has been awarded one of the grants for a project on symbolic verification and explainability. For more information, see the NWO VENI 2022 page and the official TU/e press release.