Co-leads technology at Jane Street, a major quantitative trading firm; oversaw adoption and investment in Antithesis for software verification.
no scored calls yet — needs a stated position or a categorical verdict, with a matured window vs SPY
Jane Street's tech lead Ron Minsky reports Antithesis found critical bugs in high-assurance software that were otherwise impossible to detect, enabling faster development as code production becomes increasingly automated by AI agents.