Martyn Thomas

:For the Welsh rugby union player see Martyn Thomas (rugby player).

Martyn Thomas CBE FREng FBCS FIET FRSA (born 1948) is a British independent consultant and software engineer. He founded the software engineering company Praxis in 1983, based in Bath, southern England. He has a special interest in safety-critical systems and other high integrity applications. He has acted as an expert witness involving complex software engineering issues.

Thomas was born in Salisbury, England. He studied biochemistry at University College London, graduating in 1969, when he started working in the field of computing. Between 1969 and 1983, he was employed at universities in London and the Netherlands, at STC working on telecommunications software, and at the South West Universities Regional Computer Centre in Bath.

In 1983, Thomas founded Praxis with David Bean, where he encouraged the use of formal methods within the company for software development. In December 1992, Praxis was sold to Deloitte and Touche and Thomas became a partner of that company. He left the company in 1998.

He is currently director of Martyn Thomas Associates Limited and a visiting professor at the Oxford University Computing Laboratory, and the University of Bristol. He lives in Bath.

External links

• Martyn Thomas Associates Limited website
• Martyn Thomas biography from the IET
• Oxford University Computing Laboratory home page
• Martyn Thomas bibliography in the DBLP database

Persondata
Name	Thomas, Martyn
Alternative names
Short description
Date of birth	1948
Place of birth
Date of death
Place of death

This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it.v · Categories: 1948 births Living people Software engineers Formal methods people People in information technology Corporate directors Commanders of the Order of the British Empire Alumni of University College London Expert witnesses Fellows of the British Computer Society Fellows of the Institution of Engineering and Technology Members of Oxford University Computing Laboratory People from Salisbury People from Bath, Somerset British computer specialist stubs Wikimedia Foundation. 2010. Игры ⚽ Поможем написать реферат Acorus gramineus Rocket class destroyer Look at other dictionaries: Martyn Thomas (rugby player) — For the British software engineer, see Martyn Thomas. Martyn Thomas Personal information Full name Martyn Thomas Date of birth April 24, 1987 (1987 04 24) (age 24) Place of birth Carmarthen, Wales Club informati …   Wikipedia Thomas Martyn — Nacimiento 1736 Fallecimiento 1825 Nacionalidad inglés Campo malacólogo, botánico, profesor …   Wikipedia Español Martyn Waghorn — Martyn Waghorn …   Wikipédia en Français Martyn Waghorn — For the naval captain, see Martin Waghorn. Martyn Waghorn Waghorn on the bench for Leicester City in 2011 Personal information …   Wikipedia Thomas Martyn — Pour les articles homonymes, voir Martyn. Thomas Martyn est un naturaliste britannique, né le 23 septembre 1736 et mort le 3 juin 1825. Il succède à son père, John Martyn (1699 1768), à la chaire de botanique de l université de Cambridge. Il… …   Wikipédia en Français Thomas (surname) — English, French, German, Dutch, Danish, and South Indian: from the medieval personal name, of Biblical origin, from Aramaic t’om’a, a byname meaning ‘twin’. It was borne by one of the disciples of Christ, best known for his scepticism about… …   Wikipedia Thomas, John — (1796 1881)    pioneer Methodist missionary to the South Pacific    John Thomas was born in Worcester, England, and became a blacksmith. Converted by Methodist preaching, he felt a call to the mission field after reading about Henry Martyn.… …   Encyclopedia of Protestantism Martyn Williams — Personal information Full name Martyn Elwyn Williams Date of birth 1 September 1975 (1975 09 01) (age 36) Place of birth Pontypridd, Wales Height …   Wikipedia Martyn P. Casey — Birth name Martyn Paul Casey Also known as Daubney Carshott Born 10 July 1960 (1960 07 10) (age 51) Chesterfield, Derbyshire, England Gen …   Wikipedia Martyn Joseph — at the 2008 Greenbelt Festival. Background information Born 1960 Origin …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”