David is a Solutions Architect at Siemens OneSpin where he works to develop and deploy formal tools and methodologies. In addition, David focuses on safety, security, and trust related industries, including department of defense, automotive and avionics. David has extensive experience in DO-254 and ISO-26262 safety standards, and has presented at numerous conferences and events, and is a member of the North America DO-254 Users Group. David has over 20 years of formal verification experience, and almost 30 years of design and verification experience, and has directly managed and contributed to large projects including an ADAS self driving car system, and large safety critical avionics SOCs. He has BSEE from the University of Arizona, and MBA from Santa Clara University.