hiroki-chen

CS Ph.D. @ IUB "Algorithms are the computational content of proofs." (Robert Harper)

Company:UnemployedLocation:Saratoga, CA

hiroki-chen's Followers

hiroki-chen doesn’t have any followers yet.