Formal verification and programming languages researcher.
Highlights
- Pro
Earned achievements
Starstruck
x3
Starstruck
x3
Loading
YOLO
YOLO
Loading
Quickdraw
Quickdraw
Loading
Heart On Your Sleeve
Heart On Your Sleeve
Loading
Open Sourcerer
x3
Open Sourcerer
x3
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Pull Shark
x2
Pull Shark
x2
Loading