🐋
Security Research Scientist, formal verification and scalable assurance
-
Intel Corp.
- https://bo-yuan-huang.github.io
Earned achievements
Quickdraw
Quickdraw
![Achievement: Quickdraw](https://github.githubassets.com/assets/quickdraw-default--light-medium-5450fadcbe37.png)
Quickdraw
Gitty up!
History
100% unlocked
·
Unlocked
2022-01-24 23:26:31 UTC
inaccessible · Closed within 5 minutes of opening
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Starstruck
Starstruck
Loading
Pull Shark
x2
Pull Shark
x2
Loading