Company
Who does what
Leadership
RanjanInvestor connections, introductions, Vision clarifications, new ideation, Concerns (HR)
KrishnanTechnology catch all, Product lead, Govt engagements, Biocog (PRP)
SanjayTechnology catch all, Data capturing workflows, Post-training
Operations
SangeethaIndia Operations Head
SayanAll day-to-day operations
SridhanyaKrishnan Ops, Jira followups
GayathriUS Chief of Staff — whatever it takes
GTM, Branding & Partnerships
SethuramanStrategy, GTM, pricing, new markets, Govt engagements
ArunBranding, Launch
RajanPramaana Research Partnership
Product & Design
Mit DaveEverything related to product
NoraUX experts for tax product
Domain Formaliser
AjayDomain formaliser, Tax product, Indian tax code
LokeshDomain formaliser, tech can-do-anything, Indian tax code
MamatvaDomain formaliser front-end, tech can-do-anything
AnuragDomain formaliser workflow with data providers (micro1, deccan ai)
DSL & Law
YoshikiLaw DSL design, US Tax 1040 formalisation
SankhaSOONDSL design
Prover
Kaushik RaghavanAuto-formalization, Prover
ArnavProver, Auto-formalization
ThomasProver
SaiProver, tech can-do-anything
Deformaliser
ManojDeformaliser (Prameya), Drug Discovery (PRP)
ML & Training
Kaushik RamModel finetuning
AshishModel finetuning, GPU management, Auto-formalization