yaseer
- Karma
- 1,874
- Created
- 10 years ago
About
Co-founder axiom.ai, YC W21 https://axiom.ai/Outside of work, I'm extremely interested in automated theorem proving, the lambda calculus and its applications to computational biology.
An out-of-date blog explaining my old research is here: https://yaseersheriff.github.io/
Recent Submissions
- 1. ▲ Axiom.ai (YC W21) Is Hiring a Contract Web Designer (Remote) (ycombinator.com)