Developed performant, verified code powering trillions of https connections to Chrome and other browsers.
Theorem enhances AI in software engineering through formal verification and efficient testing methods.