Robinhood CEO Pledges Formal Code Verification Within Two Years

Robinhood CEO Vlad Tenev announced that all company code will undergo formal verification processes within the next two years.