Jasmin Blanchette wins the Dutch Prize for ICT research 2022
The Dutch Prize for ICT research 2022 has been awarded to Dr Jasmin Blanchette for his research on developing and applying interactive and automated theorem provers. The winner receives a sum of €50,000 to use at their own discretion in support of their research. Jasmin Blanchette is an associate professor at Vrije Universiteit Amsterdam’s Department of Theoretical Computer Science.
Seven candidates were nominated for the ICT Prize 2022. The jury, consisting of Prof. Rob van Glabbeek (University of New South Wales) , Prof. Frank van Harmelen (VU Amsterdam) and Prof. Joost Kok (University of Twente) was impressed by the quality of the entries. From the candidates the jury selected Blanchette as a worthy recipient of the Dutch Prize for ICT research 2022. The jury collectively recognized the immense impact that Blanchette’s work has had on the field of theorem proving: both technically, by expanding the existing body of literature on automated reasoning, and educationally, by encouraging and supporting others in the effective use of theorems to prove their own reasoning.
The prestigious Dutch Prize for ICT research is awarded annually to a scientific researcher who has carried out innovative research or who has been responsible for a scientific breakthrough in ICT within 15 years of earning their PhD. The prize is funded by the ICT research platform Netherlands (IPN) in cooperation with the Dutch Research Council (NWO), through the Royal Holland Society of Sciences and Humanities (KHMW). In addition to the above-mentioned prize money for the winner, Dr Blanchette will record a video – together with NWO – to explain his award-winning work and its significance. This will be distributed to schools and other knowledge institutes.
Blanchette will receive his award at a ceremony during ICT.OPEN2022.