Publication

Towards gradual multiparty session typing In Proceedings

S.-S.T.Q. Jongmans (Sung)

New AUAs research lab to work at crossroads of artificial intelligence, media and democracy - Science Business - 20-09-2022 Magazine Article

Overheid zet flink in op databescherming tegen kwantumgeweld - AG Connect - 20-09-2022 Magazine Article

The Discourje project: run-time verification of communication protocols in Clojure Article

R. Hamers (Ruben), E. Horlings (Erik) and S.-S.T.Q. Jongmans (Sung)

A computational study of accelerating, steady and fading negative streamers in ambient air Article

B. Guo (Baohong), X. Li (Xiaoran), U. Ebert (Ute) and H.J. Teunissen (Jannis)

NWO honoreert acht aanvragen voor wetenschappelijke bijeenkomsten en ontmoetingen - NWO - 21-09-2022 Magazine Article

Estimating the hidden overheads in the BDGL lattice sieving algorithm In Proceedings

L. Ducas (Léo)

How close does it get? From near-optimal network algorithms to suboptimal equilibrium outcomes Dissertation

K.R. Brokkelkamp (Ruben)