The Science Board of NWO has awarded a grant to 21 projects in the competitive NWO Open Competition ENW-M. Such a grant allows researchers to follow innovative curiosity-driven and fundamental research ideas. On July 29, it was announced that two members of the EEMCS faculty are among the recipients of the ENW-M grants: Petra van den Bos and Silke Glas.
Evidence-based black-box checking
Dr. Petra van den Bos from the Formal Methods and and Tools group (FMT) has been awarded an M2 grant for the project EVI: Evidence-based black-box checking. The project will be conducted in collaboration with Prof. Frits Vaandrager from Radboud University. In the project, fundamental questions on automated testing of complex software systems will be tackled. The idea is to develop test automation techniques, that use both information on the expected behaviour of the system, e.g. available from behaviour-driven development of the system, and information about the actual behaviour of the system, e.g. from tests that have already been executed. By combining several sources of evidence, tests are better equipped for detecting software bugs, including those often missed by other tools. The results will be evaluated in industrial case studies.
Model reduction on manifolds for port-Hamiltonian systems
Dr. Silke Glas from the Mathematics of Systems Theory group (MAST) has been awarded an M1 grant for the project “Little things make big things happen: Model reduction on manifolds for port-Hamiltonian systems”. In this project, the speed-up of high-dimensional time-extensive numerical simulations is considered, which is done by the construction and evaluation of reduced-order models. These newly developed reduced-order models on manifolds will preserve favourable properties from the high-dimensional port Hamiltonian system, while at the same time overcoming the limitations of classical reduced-order models. Thus, with the reduction methods to be developed in this project, the same approximation quality can be reached with a lower dimension of the reduced model.
About the Open Competition ENW-M
The Open Competition ENW-M offers researchers the possibility to explore creative and bold ideas that drive scientific innovations. In this round (23-2), a total number of 84 applications were considered. Out of these applications, six M2 proposals (with two applicants) and fifteen M1 proposals (with one applicant) were funded. See also the NWO announcement of the grant