Europese subsidie
Marieke Huisman (37), onderzoeker bij de vakgroep Formel Methods & Tools van de faculteit EWI, heeft een persoonsgebonden ERC Starting Grant gekregen van 1,3 miljoen. Met deze subsidie van de European Research Council wil zij de komende vijf jaar onderzoek doen naar de verificatie van multithreaded programma's. Van het geld wil Huisman twee aio's en twee postdocs aanstellen. Marieke Huisman is een van de talentvolle wetenschappers met wie de UT prestatieafspraken heeft gemaakt in het kader van een zogeheten tenure track.