Philip Barker
Formal Verification Engineer @ Infineon Technologies
About Philip Barker
Philip Barker is a Formal Verification Engineer with over two decades of experience in the field. He has worked at STMicroelectronics and currently holds a position at Infineon Technologies, specializing in model checking and property checking.