Test and Verifications Solutions Ltd
|Designation:||CEO and Founder|
Mike Bartley has a PhD in Mathematics from Bristol University, an MSc in Software Engineering and an MBA from the Open University, and over 20 years of experience in software testing and hardware verification. He has built and managed state-of-the-art test and verification teams in a number of companies (including STMicroelectronics, Infineon and Elixent/Panasonic) who still use the methodologies he established. Since founding TVS he has consulted on multiple verification projects for respected organisations including ARM and Infineon.
Dr. Bartley was formerly Chairman for ten years of the Bristol branch of the British Computer Society and is currently Chairman of the Bristol Local Enterprise Partnership (LEP) and is a Technical Advisor to the National Microelectronics Institute (NMI). He has had over 20 articles published on the subject of verification and outsourcing.
TVS would like to thank the sponsors and participants of the
2013 Formal Verification Seminar