|Designation:||Senior Staff Engineer in Verification, Infineon Technologies.|
Tim is shortly due to return from a year in Bangalore where he is working on methodology improvements for verification and validation of IP for Infineon’s Aurix family of microcontrollers. Prior to this he was CPU verification lead for Infineon’s TriCore performance cores. He has around 12 years experience in verification, including several years as a formal verification expert within Infineon. He has published on verification and formal methods in several conferences, including DAC, DesignCon, DVCon and iFM, and has served on the Technical Panel Committee for DesignCon. He has also published in leading journals on Information Theory and Mathematics and has a Ph.D. in Pure Mathematics.