He joined less than a year ago. Assuming he received a standard options package, I doubt his options vested.
He would have been courted, offered a substantial slice of equity, and his contribution and membership of the leadership team (he's the CTO!) would have significantly contributed to the valuation.
He'd have made out huge-time.