David May (computer scientist)
David May | |
---|---|
Born | 24 February 1951 |
Nationality | British |
Alma mater | University of Cambridge |
Known for | Transputer |
Awards | FRS (1991) FREng (2010) Patterson Medal (1992) |
Scientific career | |
Institutions | University of Bristol |
Website | www |
Michael David May FRS FREng[1] (born 24 February 1951) is a British computer scientist. He is a Professor in the Department of Computer Science at the University of Bristol and founder of XMOS Semiconductor, serving until February 2014 as the chief technology officer.[2]
May was
multi-processing
.
Life and career
May was born in
University of Cambridge Computer Laboratory
.
He moved to the
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
CSP
and acting as a consultant to Inmos.
The prototype of the transputer was called the
transputer.Working closely with
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
Picochip
, where he wrote the original instruction set.
May is married with three sons and lives in Bristol, United Kingdom.
Awards and recognition
In 1990, May received an
The Royal Society and the Clifford Paterson Medal and Prize of the Institute of Physics
in 1992.
In 2010, he was elected a Fellow[3] of the Royal Academy of Engineering.[4]
May's law
May's Law states, in reference to
Moore's Law
:
Software efficiency halves every 18 months, compensating Moore's Law.[5]
References
- ^ "List of Fellows". Archived from the original on 8 June 2016. Retrieved 21 October 2014.
- ^ David May at DBLP Bibliography Server
- ^ "List of Fellows". Archived from the original on 8 June 2016. Retrieved 21 October 2014.
- ^ "List of Fellows". Archived from the original on 8 June 2016. Retrieved 21 October 2014.
- ^ Eadline, Douglas. "May's Law and Parallel Software". Linux Magazine. Archived from the original on 20 March 2011. Retrieved 9 May 2011.
{{cite web}}
: CS1 maint: unfit URL (link)