Jasmin Blanchette wins the 2022 Dutch IT Research Prize

The 2022 Dutch IT Research Prize has been awarded to Jasmin Blanchette, associate professor at VU Amsterdam’s Department of Theoretical Computer Science. This prize is 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, 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. 

Read More

  • Peter Boncz appointed ACM Fellow

    CWI researcher Peter Boncz has been appointed as one of the 2022 fellows of the Association of Computing Machinery (ACM).

  • Winners of the ADS Thesis Awards 2022

    The ADS Thesis Award winners for 2022 are Philipp Sommerhalter and Sarah Kwakkelaar in the BSc category and Krijn Doekemeijer and Julia Sudnik for the MSc category. The winners were announced at the ADS Highlights Event on the 8th of December 2022!

  • Symposium in honor of Cees de Laat and Leon Gommans

    A symposium entitled ‘From Systems and Networks to Complex Cyber Infrastructures’ took place on 9th December 2022 in honor of Cees de Laat (UvA IvI) and Leon Gommans (UvA IvI).