Sorry! De informatie die je zoekt, is enkel beschikbaar in het Engels.
This programme is saved in My Study Choice.
Something went wrong with processing the request.
Something went wrong with processing the request.

Dr Jasmin Blanchette wins 2022 Dutch IT Research Prize

10 February 2022
The 2022 Dutch IT Research Prize has been awarded to Dr Jasmin Blanchette, associate professor at VU Amsterdam’s Department of Theoretical Computer Science. Blanchette has won the prize, accompanied by a sum of €50,000, for his research on theorem provers.

Blanchette focuses on developing and applying interactive and automatic theorem provers and model finders to find proofs and counterexamples in high-order logic. The jury collectively recognised the immense impact that Blanchette’s work has had on the field of theorem proving. 

In addition to the prize money, Dr Blanchette will be working together with NWO to record a video explaining his work and its significance. The video is intended for distribution to schools and other knowledge institutes. Blanchette will receive his award during ICT.OPEN 2022, which will take place on 6 and 7 April 2022 in Amsterdam. 

The Dutch IT Research Prize is awarded annually to a scientific researcher who has carried out innovative research or who has been responsible for a scientific breakthrough in IT within 15 years of earning their PhD. The prize is funded by the Dutch IT Research Platform (IPN) in cooperation with the Dutch Research Council (NWO), through the Royal Holland Society of Sciences and Humanities (KHMW).