Jasmin Blanchette ontvangt Nederlandse Prijs voor ICT-Onderzoek

Blanchette houdt zich bezig met het ontwikkelen en toepassen van interactieve en geautomatiseerde stellingbewijzers en modelvinders om bewijzen en tegenvoorbeelden te vinden in hogere-orde logica. De jury is het erover eens dat het onderzoek van Blanchette enorme impact heeft op het gebied van het bewijzen van stellingen.

Naast het prijzengeld zal Blanchette samen met NWO een video gaan opnemen met een uitleg van zijn werk en het belang ervan. Dit is bedoeld voor educatie op middelbare scholen, universiteiten en andere kennisinstellingen. Tijdens ICT.OPEN 2022, dat op 6 en 7 april 2022 plaatsvindt in Amsterdam, zal Blanchette de prijs in ontvangst nemen.

De Nederlandse Prijs voor ICT-onderzoek wordt jaarlijks uitgereikt aan een wetenschappelijk onderzoeker, maximaal vijftien jaar na hun promotie, die vernieuwend onderzoek heeft verricht of verantwoordelijk is voor een wetenschappelijke doorbraak in de ICT. De prijs wordt beschikbaar gesteld door het ICT-onderzoek platform Nederland (IPN) in samenwerking met NWO via de Koninklijke Hollandse Maatschappij der Wetenschappen.