🍉
WFH
CS Ph.D. @ IUB
"Algorithms are the computational content of proofs." (Robert Harper)
-
Unemployed
- Saratoga, CA
-
09:03
- 5h behind - hiroki-chen.github.io
Highlights
- Pro
Search results
0 open and 0 closed projects found.-
There aren't any projects yet