Dan Benua

Dan Benua is an experienced engineering professional with a career spanning over three decades in the field of formal verification and application support. Currently serving as the Director of Application Engineering and Formal Verification Specialist at Cadence Design Systems since April 2016, Dan provides support for industry-leading formal verification applications. Prior to this role, Dan worked at Synopsys for nearly 16 years, holding positions as Principal CAE and R&D Manager, where notable contributions included founding an application support team and developing verification model creation tools. Dan also gained experience at Summit Design and Quantitative Technology Corp., focusing on the development of test analysis tools and designing microcode software, respectively. Educational qualifications include a Master’s degree in Electrical Engineering from Stanford University and a Bachelor’s degree in Engineering from Brown University.