Gefilterd op:
NWO-toekenningen voor vier UT-onderzoekersBinnen de NWO Open Competitie ENW (Exacte en Natuurwetenschappen) zijn subsidies van maximaal € 50.000 voor vier UT-onderzoeken uitgekozen voor financiering. De toekenning is bedoeld om veelbelovende ideeën en vernieuwende, risicovolle initiatieven binnen zeven ENW-disciplines mogelijk te maken. Deze onderzoeken zijn grensverleggend en op voorhand staat niet vast of de beoogde doelstelling gehaald wordt. Wat telt is dat elk resultaat, zowel positief als negatief, de wetenschap vooruit helpt. De UT-onderzoekers met veelbelovende ideeën of een vernieuwend en risicovol initiatief in deze ronde zijn: Ritu Gupta (TNW), Rafael Lopez Rangel (ET) dr. C. Wloka-Tjalsma (EEMCS) en Frank Röttger (EEMCS).eemcsETNWOtnwLees meer
KHMW Langerhuizen Oeuvreprijs 2026 voor Joost-Pieter KatoenProfessor Joost-Pieter Katoen ontving deze week de KHMW Langerhuizen Oeuvreprijs 2026 voor zijn invloedrijke wetenschappelijke oeuvre.
Katoen ontwikkelt wiskundige methoden om de betrouwbaarheid van software aan te tonen, van satellieten en treinen tot auto’s en waterkeringen.
Katoen is hoogleraar informatica aan de RWTH Aachen University en deeltijds hoogleraar formele methoden en tools aan de Universiteit Twente. Al meer dan vijfentwintig jaar geeft hij mede richting aan het internationale onderzoek naar formele methoden, met een visionaire focus op het verenigen van correctheid en prestaties bij de verificatie van complexe systemen.
"Wij ontwikkelen methoden om fouten in software op te sporen voordat die ernstige, en soms zelfs catastrofale, gevolgen kunnen hebben. Denk aan software die satellieten aanstuurt: zo’n satelliet kun je, als hij zich eenmaal in de ruimte bevindt, niet zomaar repareren als er iets misgaat. Daarom is het essentieel dat zulke systemen aantoonbaar correct werken."eemcsLees meer