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.