David Wolfe is a Senior Software Engineer at Verisk, where they focus on developing user-friendly software for integrating Formal Methods in Model-Based Design workflows. They have served as an Adjunct Professor at Dalhousie University since 2007, sharing their expertise in engineering and mathematics. With a decade of experience in academia and industry combined, David previously held positions such as Software Engineering Manager at QRA Corp and R&D Team Lead at Sheepdog. David earned a PhD in Computer Science from UC Berkeley and a BS in Electrical Engineering from Cornell University.
This person is not in the org chart
This person is not in any teams
This person is not in any offices