Company
Named inventors on Proverify.ai's provisional patent applications, filed June 2026. [Publication check: confirm all roles and affiliations are current before this page goes live.]
The inventors
Primary inventor & system architect
Computer scientist and entrepreneur in enterprise AI for retail, CPG, and market research — AI decisions made reliable, auditable, deployable. Architected the compiled merchant runtime, request pipeline, and causal audit log.
Merchant operations & e-commerce strategy
Former Global President of e-business, Procter & Gamble; Fortune "50 Most Powerful Women in Business" seven straight years. Boards: Corning, Meritage Homes, S.C. Johnson; past Chair, APEC Business Council. Informed the policy guards and merchant trust model.
NLP system architecture
Professor of Computer Science, UNC Charlotte; 27 years at IBM T.J. Watson Research — led textual resources for Watson (Jeopardy!); 2013 AAAI Feigenbaum Prize. 70+ papers, 50+ patents. Designed the intent classification and semantic compilation subsystems.
Machine learning system design
ML researcher: statistical learning, semi-supervised classification, NER, information extraction — 1,500+ citations. Designed the compiled classifiers, confidence calibration for escalation, and the escalation-driven learning loop.
Build systems & compilation architecture
Engineer at BuildBuddy; previously Director of Engineering at Vercel, Head of Engineering at Replit, Principal Engineer at Spotify. Designed the compilation pipeline, workflow registry, and the LLM-as-compiler execution model.
Get in touch
Whether you're evaluating TokenOps, Runtime, or both, we'll start with the workflow you care about.