Excited to welcome Julia Rubin (UBC) this summer for a research visit, sponsored by a prestigious Humboldt scholarship! Looking forward to joint research combining analytic and constructive techniques to secure the software of tomorrow!
https://www.uni-paderborn.de/en/news-item/124092