After co-founding self-driving AI company Helm.ai, he teamed with Vlad Tenev to build Harmonic's hallucination-free, formally verified mathematical reasoning engine.
Studied at
Carnegie Mellon University (B.S. Computer Science)Stanford University (PhD candidate, Computer Science)