Mike has been involved in software testing and hardware verification for over 25 years. He started his career in testing of military software and safety-related aerospace applications using formal mathematical methods before moving into testing of commercial software. Since 1994 Mike has also been involved in the verification of complex hardware products (on Silicon and FPGA) going into commercial and safety-related sectors such as mobile phones, HDTVs, smart cards, avionics and automotive. In 2008 Mike established T&VS (Test and Verification Solutions: www.testandverification.com) to offer specialist services and products in hardware verification and software testing. T&VS has now grown to a global company of 250 engineers. T&VS specializes in ensuring products are reliable, safe and secure and this includes checking medical and healthcare products to ensure they are both safe and secure.
Mike gained a PhD in Mathematical Logic from Bristol University. He has since obtained an MSc in Software Engineering and an MBA through the Open University. Mike is currently studying for an MSc in Computer Security at the University of London.