Joined 1/2/2015, 9:24:21 PM has 1871 karma
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/
This user hasn't posted yet