New foundations for separation logic Dissertation

H.A. Hiep (Hans-Dieter)

National Symposium Software Engineering - biplatform.nl - 23-05-2024 Magazine Article

A Quantum Speed-Up for approximating the top eigenvectors of a matrix Tech Report

Y. Chen (Yanlin), A.P. Gilyén (András) and R.M. de Wolf (Ronald)

Scheidend UvA-voorzitter Geert ten Dam over protesten: 'De bezettingen en jacht naar de zesde verdieping zijn ongekend - Het Parool - 27-05-2024 Magazine Article

Betalen met crypto's is 30 jaar geleden in Amsterdam bedacht - ftm.nl - 27-05-2024 Magazine Article

AI’s impact on society, media, and democracy Blogpost

AI’s impact on society, media, and democracy Blogpost

Het kwantumgedrag van zwaartekracht onthuld? - engineersonline.nl - 27-05-2024 Magazine Article