David May (computer scientist)

Michael David May ( born February 24, 1951 in Holmfirth, Yorkshire ) is a British computer scientist. He is a professor of computer science at the University of Bristol, as well as founder and CTO of XMOS Semiconductor.

Life

May attended the Queen Elizabeth Grammar School in Wakefield. From 1969 to 1972 he studied mathematics, computer science later at King 's College, University of Cambridge. After his studies he went to the University of Warwick and operation there research in the field of robotics. For the study of sensory control systems he developed EPL, an early parallel programming language, which was implemented on a cluster of serially connected single-board computers. The work he made acquaintance with the Inmos - founders Tony Hoare and Iann Barron. As Inmos was founded in 1978, May joined this company to work in the field of microprocessor architectures.

In 1995 he became professor of computer science at the University of Bristol and was from 1995 to 2006 Head of the department of computer science. Besides his work as a professor, he is Chief Technical Officer at XMOS Semiconductor.

May is married and lives with his wife in Bristol. The couple has three sons.

Services

May was the lead developer of the transputer and the developer of the programming language Occam. In collaboration with Tony Hoare and the Programming Research Group, University of Oxford May developed one of the first techniques for formal verification of microprocessor design. In addition, he holds 34 patents in the field of microelectronics ( 2007).

Mays law

May set the following assertion: "Software efficiency halves every 18 months, compensating Moore 's Law" ( the efficiency of software is halved every 18 months, thus compensating for the Moore's Law ).

Awards

May 1990 was awarded an honorary doctorate by the University of Southampton. The Royal Society took him in 1991 as a member, and the Patterson Medal of the Institute of Physics, he was awarded in 1992.

221963
de