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.