Registered user since Fri 31 Mar 2023
Name:Steffan Sølvsten
Bio:
Technophobic computer scientist, climber, dancer, psychology and philosophy interested and board game playing hippie. My many working hours are spent on research at Aarhus University working on algorithmic engineering for program correctness and security.
Country:Denmark
Affiliation:Aarhus University
Personal website: https://www.ssoelvsten.github.io
X (Twitter): https://x.com/ssoelvsten
GitHub: https://github.com/ssoelvsten
Research interests:Formal Methods, Algorithmic Engineering, Security
Contributions
Using general profile