Benjamin serves as the head of Veridise’s internal tooling project and manages a team of engineers and researchers. The tooling project spans areas such as fuzzers, formal verification, and code visualization, supporting auditors in their efforts to identify security flaws in client codebases.
In addition to his academic achievements, Benjamin brings years of software engineering experience from his time at Google, where he worked with both the Drive Video and Drive Data Protection teams. Previously, Benjamin was part of Microsoft’s Bing Premium Data team.
He has conducted academic research in the field of machine learning, natural language processing, and distributed computing.
Benjamin holds an M.Sc. in Computer Science from the University of Arizona and also has strong experience in Natural Language Processing.