🐋
Security Research Scientist, formal verification and scalable assurance
-
Intel Corp.
- https://bo-yuan-huang.github.io
Earned achievements
Quickdraw
Quickdraw
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Starstruck
Starstruck
Loading
Pull Shark
x2
Pull Shark
x2
Loading