🍵
Highlights
- Pro
hackerd2020
Iam23years old hacker and working amazon software engineer
Weleio investment bank app Kolonaki
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formal verification using proof assistants.
CISPA Helmholtz Center for Information Security Saarbrücken