David May (počítačový vědec) - David May (computer scientist)
David May | |
---|---|
narozený | 24. února 1951 |
Národnost | britský |
Alma mater | Univerzita v Cambridge |
Známý jako | Transputer |
Ocenění | FRS (1991) FREng (2010) Pattersonova medaile (1992) |
Vědecká kariéra | |
Instituce | University of Bristol |
webová stránka | www |
Michael David May FRS FREng[1] (narozený 24. února 1951) je Brit počítačový vědec. Je profesorem na Ústav výpočetní techniky na University of Bristol a zakladatel Polovodič XMOS, sloužící do února 2014 jako technický ředitel.[2]
Květen byl hlavní architekt pro transportér. Od roku 2017 je držitelem 56 patentů mikroprocesory a vícenásobné zpracování.
Život a kariéra
May se narodil v Holmfirth, Yorkshire, Anglie a zúčastnili se Queen Elizabeth Grammar School, Wakefield. V letech 1969 až 1972 studoval na King's College v Cambridge, Univerzita v Cambridge, nejprve studovala matematiku a poté informatiku na matematické laboratoři University of Cambridge, nyní Počítačová laboratoř University of Cambridge.
Přestěhoval se do University of Warwick a zahájil výzkum v robotika. Výzvy implementace snímacích a řídicích systémů ho přivedly k tomu, aby navrhl a implementoval co nejdříve souběžný programovací jazyk, EPL, který běžel na shluku jednodesková mikropočítače připojeno uživatelem sériová komunikace Odkazy. Tato raná práce ho přivedla do kontaktu s Tony Hoare a Iann Barron: jeden ze zakladatelů Inmos.
Když Inmos byla založena v roce 1978, květen se připojil k práci na architektuře mikropočítačů, stal se vedoucím architektem transportéru a návrhářem souvisejícího programovacího jazyka Occam. To rozšířilo jeho dřívější práci a bylo také ovlivněno Tony Hoare, který v té době pracoval na CSP a působí jako konzultant společnosti Inmos.
Prototyp transportéru se jmenoval Jednoduché 42 a byla dokončena v roce 1982. První výrobní transportéry, T212 a T414, následovaný v roce 1985; the T800 transportér s plovoucí desetinnou čárkou v roce 1987. Květen zahájil návrh jednoho z prvních VLSI paketové přepínače, C104, společně s komunikačním systémem T9000 transportér.
Úzce spolupracuje s Tony Hoare a Programovací výzkumná skupina na Oxfordská univerzita May zavedla formální ověřovací techniky do návrhu T800 jednotka s plovoucí desetinnou čárkou a T9000 transportér. To byla některá z prvních použití formální ověření v designu mikroprocesoru, zahrnující specifikace, správnost zachovávající transformace a kontrola modelu, což dalo vzniknout původní verzi kontroly FDR vyvinuté v Oxfordu.
V roce 1995 se May připojila k University of Bristol jako profesor výpočetní techniky. V letech 1995–2006 byl vedoucím oddělení výpočetní techniky. Nadále pracuje jako profesor v Bristolu XMOS, univerzitní spin-out, který spoluzaložil v roce 2005. Před XMOS byl členem Picochip, kde napsal původní instrukční sadu.
May je vdaná, má tři syny a žije v Bristol, Spojené království. Je nadšeným fanouškem Garfield, a je známo, že se při přednášce obléká jako titulární postava.
Ocenění a uznání
V roce 1990 obdržela May Čestný DSc z University of Southampton, v roce 1991 následoval jeho zvolení za člena Královská společnost a Medaile a cena Clifforda Patersona z Fyzikální ústav v roce 1992.
V roce 2010 byl zvolen a Chlapík[3] z Royal Academy of Engineering.[4]
Mayův zákon
Mayův zákon uvádí s odkazem na Mooreův zákon:
Účinnost softwaru se každých 18 měsíců sníží na polovinu, což kompenzuje Mooreův zákon.[5]
Reference
- ^ "Seznam spolupracovníků".
- ^ David May na DBLP Bibliografický server
- ^ "Seznam spolupracovníků".
- ^ "Seznam spolupracovníků".
- ^ Eadline, Douglas. „May's Law and Parallel Software“. Linux Magazine. Citováno 9. května 2011.