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

  • Davide Ceolin Selected as First IAS and DSC Joint Fellow.

    The Institute for Advanced Study (IAS) and Data Science Center (DSC) of the University of Amsterdam (UvA) are joining forces in a new joint fellowship for (teams of) researchers interested in exploring the intersection of data science and other disciplines. The first fellow of the new program, Dr. Davide Ceolin, will start his fellowship at the IAS on June 17. Ceolin is currently affiliated with CWI.

  • Nanda Piersma appointed as crown member of the Social and Economic Counsil

    Nanda Piersma, lecturer at the University of Applied Sciences (AUAS), has been appointed as a crown member of the Social and Economic Counsil (SER). This is the first time that a lecturer has been appointed as member of the SER. Nanda Piersma was approached because of her expertise in the field of digitisation.

  • 2022 ADS Thesis Awards

    The ADS Thesis Awards aim to promote excellence in Data Science and AI from students at BSc and Master level. The Awards are open to students from all Amsterdam-based knowledge institutes.