Martyn Thomas CBE

Martyn Thomas, world-renowned expert in software engineering and cybersecurity  who formed Praxis Systems in 1983, a company renowned for its commercial use of mathematically formal software development methods talks about this and his work on many high profile critical systems throughout the World with Jonathan Sinfield.

LinkedInTwitterFacebook