Publication

UvA verzorgt quantumcomputerlessen voor scholieren - Computable - 19-11-2020 Magazine Article

Workshop General Awareness Quantum Computing voor alle bedrijven - ICT magazine - 19-11-2020 Magazine Article

A Tutorial on Verifying LinkedList Using KeY Book Chapter

H.A. Hiep (Hans-Dieter), J. Bian (Jinting), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)

Safe tests for 2 x 2 contingency tables and the Cochran-Mantel-Haenszel test In Proceedings

R.J. Turner (Rosanne) and P.D. Grünwald (Peter)

Asymptotic performance of port-based teleportation Article

M. Christandl (Matthias), Leditzky, F. (Felix), C. Majenz (Christian), Smith, G. (Graeme), F. Speelman (Florian) and Walter, M. (Michael)

Artificiele intelligentie wordt beter cultureel erfgoed - Emerce - 23-11-2020 Magazine Article

AI for Social Good & Equality of Opportunity Blogpost

S. Ghebreab, H. Haned (Hinda) and J.R. van Ossenbruggen (Jacco)

Dual functions not approximable by higher-order characters Online Video

J. Briët (Jop)