CEO at Theorem
Developed performant, verified code powering trillions of https connections to Chrome and other browsers.