hiroki-chen
Follow
🍉
WFH
CS Ph.D. @ IUB
"Algorithms are the computational content of proofs." (Robert Harper)
-
Unemployed
- Saratoga, CA
-
22:54
(UTC -05:00) - hiroki-chen.github.io
Highlights
- Pro
Earned achievements
Public Sponsor
Public Sponsor
Loading
Pull Shark
x3
Pull Shark
x3
Loading
YOLO
YOLO
Loading
Quickdraw
Quickdraw
Loading