Wait to be discovered.
Dream to find rigorousness and meaning in the messy world. Interested in applied formal methods, especially for cryptography.
-
Max Planck Institute for Security & Privacy
- Bochum, Germany
Earned achievements
Starstruck
x2
Starstruck
x2
Loading
Pull Shark
x2
Pull Shark
x2
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading