At Veridise, Bryan serves as an VP of Engineering, conducts security audits, and leads teams to build our in-house formal verification and static analysis tools.

Bryan has conducted academic research in how to leverage refinement type systems for program verification and synthesis for domain specific languages, such as those used in smart contract and data science applications.

In addition to his academic accomplishments, Bryan brings extensive experience from his previous roles at Amazon Annapurna Labs and Apple.

Bryan earned his M.Sc. in Computer Science at the UC Santa Barbara.