At ICT.OPEN, April 7th in RAI Amsterdam, the Dutch Prize for ICT research 2022 is virtually awarded to Dr Jasmin Blanchette, associate professor of theoretical computer science at the VU University Amsterdam. Professor Louise Gunning-Schepers, chair of the Royal Dutch Science Association (KHMW) presented the prestigious prize. Anne Baanen, PhD candidate at the VU, received the prize on behalf of Jasmin Blanchette.

Blanchettes research has huge impact on proving theorems. This impact is high-quality, both technically in increasing the computerized reasoning paper, and educational in the form of encouraging and supporting people to make effective use of statements that prove their own reasons.
	f.l.t.r. Prof. Louise Gunning-Schepers (KHMW), Christiane Klöditz (NWO), Anne Baanen (VU), Catholijn Jonker (IPN) en Dr. Jasmin Blanchette (VU) (screen) Photo: Thijs ter Hart
Attached to the prize is a cash prize of € 50,000, which may be freely used by the winner to strengthen his research. The prestigious Dutch Prize for ICT research is awarded annually to a scientific researcher, maximum 15 years after their PhD (at the time of the decision), who has carried out innovative research or is responsible for a scientific breakthrough in ICT. The prize is made available by the ICT research platform Netherlands (IPN) in cooperation with NWO through the Royal Dutch Science Society (KHMW) In addition to the prize money, a video is produced explaining the award-winning work of Dr. Jasmin Blanchette. You can find more information about ICT.OPEN you find here.