[1] Martyn Thomas founded the software engineering company Praxis in 1983, based in Bath, southern England.
He studied biochemistry at University College London, graduating in 1969, when he started working in the field of computing.
In 1983, Thomas founded Praxis with David Bean, where he encouraged the use of formal methods within the company for software development.
Praxis became internationally recognised as a leader in the use of rigorous software engineering, including formal methods, and grew to around 200 staff.
Gresham College, Visiting Professor of Software Engineering at Aberystwyth University, UK, Fellow at The Royal Academy of Engineering, Member at UK Computing Research Committee,[2] Owner, Principal Consultant and Expert Witness at MTAL.,[3] Non-executive director of the Health and Safety Executive (HSE),[4] IT Livery Company Professor of Information Technology at Gresham College,[5][6][7] Member of Advisory Council at Foundation for Information Policy Research, Non-executive Director of the Serious Organised Crime Agency, Non-executive Director of the Office of the Independent Adjudicator for Higher Education, Fellow at British Computer Society, Chair, Executive Board at DEPLOY Project, Member, "Sufficient Evidence" study at National Academies / CSTB, Chair, Steering Committee at DIRC, Member of Council at EPSRC, Member of Advisory Group at OST Foresight programmes, Partner at Deloitte Consulting, Founder/Chairman/managing director at Praxis, Chairman at Praxis Critical Systems, Deputy Director at SWURCC, Software Engineer at STC.