VIDI-financiering voor vier UT onderzoeken

De Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO) kent vier UT-onderzoeken een Vidi-financiering toe. Het gaat om onderzoeken van Arnd Hartmanns, Linn Leppert, Jelmer Renema, en Roland van Rijswijk-Deij. Met de bijdrage van 800 duizend euro kunnen zij de komende vijf jaar een vernieuwende onderzoekslijn ontwikkelen en daarbij een eigen onderzoeksgroep opzetten. Betrouwbare analyse van systemen met tijd en kansverdelingen. Formal methods and tools groep (FMT; Faculteit EEMCS) - dr. ing. A. Hartmanns We vertrouwen erop dat stormvloedkeringen, kernreactoren en andere belangrijke systemen veilig werken, zelfs als de bedieners fouten maken of onderdelen willekeurig op ongelegen momenten uitvallen. Experts gebruiken speciale software om deze systemen te ontwerpen zodat ze betrouwbaar zijn.