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
-
ADS’s Integration with Amsterdam AI – Next Steps
From September onwards Amsterdam Data Science will merge media channels with Amsterdam AI. Any online activities you are used to will continue on the Amsterdam AI channels. So please register below to stay up to date!
-
ADS’s Integration with Amsterdam AI – Next Steps
Amsterdam Data Science is excited to announce the next step in joining forces with Amsterdam AI. Together, we will support Amsterdam’s development as an international hub for Responsible AI.
-
Data Science Center starts groundbreaking research program on AI with all 7 UvA Faculties
The UvA Data Science Center is announcing a groundbreaking research program to align artificial intelligence (AI) for the interpretation of video data with human values and ethical principles.