Huisman wint Nederlandse Prijs voor ICT-onderzoek

Logische redeneertechnieken
Huisman (1973) leidt een team aan de Universiteit Twente dat onderzoek doet om bugs en crashes met parallelle software te elimineren met behulp van logische redeneertechnieken. In parallelle software lopen verschillende processen tegelijk. Dat levert snelheidswinst op, maar het risico is daarbij dat de verschillende processen elkaar verstoren. Huisman doet al 10 jaar onderzoek op dit gebied en heeft volgens de jury in die periode “aanzienlijke vooruitgang geboekt op dit gebied.” Bovendien zet zij zich sterk in om vooral meisjes te interesseren voor Informatica en techniek.
Functionele talen
Het geld van de prijs wil Huisman gebruiken om haar onderzoek uit te breiden naar andere programmeertalen, vooral functionele talen. “Dat vergroot het effect van mijn onderzoek.”
Het is de derde keer dat de prijs wordt uitgereikt. De prijs is een initiatief van het ICT-onderzoek Platform Nederland (IPN) en NWO Exacte Wetenschappen in samenwerking met de Koninklijke Hollandsche Maatschappij der Wetenschappen (KHMW). De juryleden zijn prof. dr. H.P. Barendregt (Radboud Universiteit Nijmegen), prof. dr. ir. R.L. Lagendijk (Technische Universiteit Delft) en prof. dr. E.O. Postma (Universiteit Tilburg).
Reacties
Om een reactie achter te laten is een account vereist.
Inloggen Word abonnee