(Michael) David May, born February 24th 1951, is a British computer scientist. He is a Professor of Computer Science at Bristol University and founder and CTO of XMOS Semiconductor. Computer science (informally: CS or compsci) is, in its most general sense, the study of computation and information processing, both in hardware and in software. ... The University of Bristol was founded in 1876 as the University College, Bristol. ... CTO may refer to: chief technical officer or chief technology officer, both describe the same function cancelled-to-order (philately) configure-to-order Caribbean Tourism Organisation cervical-thoracic orthosis Colorado Tourism Office color temperature orange, a lighting gel Commonwealth Telecommunications Organisation community treatment order Carmen Tomassetti Orchestras CTO.com Czech...

He was primarily a centre half, but was sometimes deployed as right-back.

Biography

David was born in Holmfirth, Yorkshire, England and attended Queen Elizabeth Grammar School, Wakefield. From 1969-1972 he was a student at King's College, Cambridge University, initially studying Mathematics and then Computer Science in the Cambridge University Mathematical Laboratory. Holmfirth is a small town located in the Holme Valley parish, in the Kirklees district of West Yorkshire, England. ... Yorkshire is a historic county of northern England. ... Also: 1969 (number) 1969 (movie) 1969 (Stargate SG-1) episode. ... Year 1972 (MCMLXXII) was a leap year starting on Saturday (link will display full calendar) of the Gregorian calendar. ... Kings College can refer to: // University of Kings College in Halifax, Nova Scotia Kings University College (Edmonton) in Edmonton, Alberta Kings University College (University of Western Ontario), a campus of the University of Western Ontario in London, Ontario Kings College London, the largest constituent college... The University of Cambridge is the second-oldest university in the English-speaking world, with one of the most selective sets of entry requirements in the United Kingdom. ...

He moved to Warwick University and started research in robotics. The challenges of implementing sensing and control systems led him to design and implement an early concurrent programming language, EPL, which ran on a cluster of single-board microcomputers connected by serial communication links. This early work brought him into contact with Tony Hoare and Iann Barron - one of the founders of Inmos. University of Warwick Motto: Mens agitat molem Logo © University of Warwick The University of Warwick is a world-class campus university which, despite its name, is located mainly inside the southern boundary of Coventry, England, some 11 km ( 7 miles) from the town of Warwick, the remainder of the campus... Sir Charles Antony Richard Hoare (Tony Hoare or C.A.R. Hoare, born January 11, 1934) is a British computer scientist, probably best known for the development of Quicksort, the worlds most widely used sorting algorithm, and perhaps even the worlds most widely used algorithm of any kind... INMOS Ltd. ...

When Inmos was formed in 1978, David joined to work on microcomputer architecture, becoming lead architect of the transputer and designer of the associated programming language Occam. This extended his earlier work and was also influenced by Tony Hoare who was at the time working on CSP and acting as a consultant to Inmos. INMOS Ltd. ... Year 1978 (MCMLXXVIII) was a common year starting on Sunday (link displays the 1978 Gregorian calendar). ... The INMOS Transputer was a pioneering parallel computing microprocessor design of the 1980s from INMOS, a small English company. ... Not to be confused with the OCaml programming language. ... Sir Charles Antony Richard Hoare (Tony Hoare or C.A.R. Hoare, born January 11, 1934) is a British computer scientist, probably best known for the development of Quicksort, the worlds most widely used sorting algorithm, and perhaps even the worlds most widely used algorithm of any kind... CSP is an initialism that can be interpreted as one of the following: In a general context: Caledonian Steam Packet Company California State Parks Carlo-Schmid-Programm Civil Services of Pakistan Certified Safety Professional Certified Speaking Professional Chartered Society of Physiotherapy Chicken Slayer Productions Christian Social Party Colorado State Patrol...

The prototype of the transputer was called the Simple 42 and was completed in 1982. The first production transputers, the T212 and T414 followed in 1985; the T800 floating point transputer in 1987. David initiated the design of the one of the first VLSI packet switches, the C104, together with the communications system of the T9000 transputer. Year 1982 (MCMLXXXII) was a common year starting on Friday (link displays the 1982 Gregorian calendar). ... The INMOS Transputer was a pioneering parallel computing microprocessor design of the 1980s from INMOS, a small English company. ... The INMOS Transputer was a pioneering parallel computing microprocessor design of the 1980s from INMOS, a small English company. ... This article is about the year. ... The INMOS Transputer was a pioneering parallel computing microprocessor design of the 1980s from INMOS, a small English company. ... This article is about the year 1987. ... The INMOS Transputer was a pioneering parallel computing microprocessor design of the 1980s from INMOS, a small English company. ...

Working closely with Tony Hoare and the Oxford University Programming Research Group, David introduced formal verification techniques into the design of the T800 floating point unit and the T9000 transputer. These were some of the earliest uses of formal verification in microprocessor design, involving specifications, correctness preserving transformations and model checking, giving rise to the initial version of the FDR checker developed at Oxford. Sir Charles Antony Richard Hoare (Tony Hoare or C.A.R. Hoare, born January 11, 1934) is a British computer scientist, probably best known for the development of Quicksort, the worlds most widely used sorting algorithm, and perhaps even the worlds most widely used algorithm of any kind... The Programming Research Group is based at Oxford Universitys Computing Laboratory. ... The INMOS Transputer was a pioneering parallel computing microprocessor design of the 1980s from INMOS, a small English company. ... The INMOS Transputer was a pioneering parallel computing microprocessor design of the 1980s from INMOS, a small English company. ...

In 1990, David received an Honorary DSc from Southampton University, followed in 1991 by his election as a Fellow of The Royal Society and the award of the Patterson Medal of the Institute of Physics in 1992. This article is about the year. ... The University of Southampton is a British university, with a reputation for quality research. ... The Royal Society of London is claimed to be the oldest learned society still in existence and was founded in 1660. ... The Institute of Physics (IOP) is Britain and Irelands main professional body for physicists. ... Year 1992 (MCMXCII) was a leap year starting on Wednesday (link will display full 1992 Gregorian calendar). ...

In 1995, David joined Bristol University as a Professor of Computer Science. He was Head of the Computer Science Department from 1995 to 2006. He continues to be a Professor at Bristol whilst also being the Chief Technology Officer of XMOS, a University spin-out he co-founded in 2005. The University of Bristol was founded in 1876 as the University College, Bristol. ...

David is married with 3 sons and lives in Bristol, United Kingdom. This article is about the English city. ...

May's Law: Software efficiency halves every 18 months, compensating Moore's Law. Gordon Moores original graph from 1965 Growth of transistor counts for Intel processors (dots) and Moores Law (upper line=18 months; lower line=24 months) For the observation regarding information retrieval, see Mooers Law. ...

External links

• Home page
• David May's Transputer Page
• David May bibliography in the DBLP database