DSAU
Anders Severinsen
AndersSeverinsen
Computer Science Student @ Aarhus University, Denmark.
Danske Bank Aarhus, Denmark
Steffan Sølvsten
ssoelvsten
Postdoctoral researcher working on algorithms for program correctness and security.
Aarhus University Aarhus, Denmark