User: yaseer

  • Created: 2955 days ago
  • Karma: 1727
  • Co-founder/CEO, 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/