Mike is a world expert in advanced verification methodologies and solutions. He has spent more than twenty-five years working with customers around the world on solutions to address their verification challenges in a wide range of industries from Automotive and Autonomous Transport, to Mobile and Hyperscale Computing, to Aerospace and Defense. Before joining Foretellix, Mike was a Fellow at Cadence where he helped transform the semiconductor industry’s approach to verification, based on the automated verification solutions he helped pioneer at Verisity in the early 2000s. Mike started his career at IBM as a VLSI Chip Designer.