- David May (computer scientist)
Michael David May, born February 24, 1951, is a British computer scientist. He is Professor of Computer Science at the University of Bristol and founder and Chief Technology Officer of XMOS Semiconductor.
May 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 of Cambridge, initially studying Mathematics and then Computer Science in the Cambridge University Mathematical Laboratory.
He moved to the University of Warwick 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.
When Inmos was formed in 1978, May 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.
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. May initiated the design of one of the first VLSI packet switches, the C104, together with the communications system of the T9000 transputer.
Working closely with Tony Hoare and the Programming Research Group at Oxford University, May 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.
In 1995, May joined the University of Bristol 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.
May is married with 3 sons and lives in Bristol, United Kingdom.
Awards and recognition
In 1990, May received an Honorary DSc from the University of Southampton, 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.
In 2010, he was elected a Fellow of the Royal Academy of Engineering.
Wikimedia Foundation. 2010.
Look at other dictionaries:
David Park (computer scientist) — David Park Born 1935 Died September 29, 1990(1990 09 29) Nationality … Wikipedia
David Wheeler (computer scientist) — Not to be confused with David A. Wheeler, also a computer scientist. David John Wheeler Born 9 February 1927(1927 02 09) Birmingham Died 13 Decemb … Wikipedia
David Turner (computer scientist) — This article is about the computer scientist. For others with this name, see David Turner (disambiguation). Professor David Turner is a British computer scientist. He has a D.Phil. from the University of Oxford. He has held professorships at… … Wikipedia
David May — may refer to: David May (computer scientist), British computer scientist David May (footballer), English footballer Dave May, baseball player This disambiguation page lists articles associated with the same personal name. If an … Wikipedia
Jim Gray (computer scientist) — Infobox Scientist name = James Nicholas Jim Gray imagesize = 50px caption = birth date = 1944 birth place = death date = death place = residence = citizenship = nationality = American ethnicity = field = Computer Science work institution = IBM… … Wikipedia
Christopher Evans (computer scientist) — Dr Christopher Riche Evans (29 May 1931 – 10 October 1979) was a British psychologist, computer scientist, and author. Contents 1 Biography 2 Works 3 References 3.1 Notes … Wikipedia
May (surname) — For other uses, see May (disambiguation). May Family name Region of origin Germany, England, Ireland Scotland Related names Maye, Mayes, Mays, Meir, Meier May is a surname of Saxon and, independently … Wikipedia
David Turner — may refer to: David Turner (Canadian football), Defensive back and Kick Returner David Turner (computer scientist), British computer scientist David Turner (cricketer), Hampshire cricketer David Turner (dramatist), British dramatist David Turner … Wikipedia
David Park — may refer to: David Park (computer scientist) (1935–1990), British computer scientist David Park (golfer) (born 1974), Welsh golfer David Park (painter) (1911–1960), American painter See also All pages with titles containing David Park David… … Wikipedia
David Wheeler — may refer to: David F. Wheeler, American director of theatre and film David Wheeler (actor), American television actor David Wheeler (computer scientist) (1927–2004), British computer scientist David A. Wheeler (born 1965), programmer and author… … Wikipedia