Artificiële Intelligentie wordt beter door cultureel erfgoed - KNAW - 16-11-2020 Magazine Article

History-based specification and verification of Java Collections in KeY In Proceedings

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

Quantum speedup for graph sparsification, cut approximation and Laplacian solving In Proceedings

S.M.G. Apers (Simon) and R.M. de Wolf (Ronald)

Compressed Sigma-Protocols for bilinear circuits and applications to logarithmic-sized transparent Threshold Signature Schemes Tech Report

T. Attema (Thomas), R.J.F. Cramer (Ronald) and M. Rambaud (Matthieu)

k-Forrelation Optimally Separates Quantum and Classical Query Complexity Tech Report

N. Bansal (Nikhil) and M. Sinha (Makrand)

Artificiele intelligentie wordt beter door cultureel erfgoed - Fondsen.org - 17-11-2020 Magazine Article

Erfgoedinstellingen en onderzoeks en kennisorganisaties starten samenwerking rond AI - Spreekbuis - 17-11-2020 Magazine Article

Banken QuSoft en Hogeschool van Amsterdam starten workshop om bedrijven voor te bereiden op kwantumtijdperk - Credit expo - 17-11-2020 Magazine Article