Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Британдық компьютерлік ғалым Майкл Дэвид Мей (FRS FREng) (24 ақпан 1951 жылы туған) – британдық компьютерлік ғалым. Ол Бристоль университетінің компьютерлік ғылым кафедрасының профессоры және XMOS Semiconductor компаниясын құрған адам, 2014 жылдың ақпанына дейін бас технологиялық директор болып жұмыс істеді. Мей транспортердің бас архитекторларының бірі болды. 2017 жылға қарай оның барлығы 56 патенты бар, олардың бәрі микропроцессорлар және көп процессорлық жүйелер саласында.
British computer scientist
Michael David May FRS FREng (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. May was lead architect for the transputer. As of 2017, he holds 56 patents, all in microprocessors and multi processing.
Өмір және мансап
Мей Англияның Йоркшир округындағы Холмфирт қаласында дүниеге келді және Уэйкфилдтегі Королева Елизавета атындағы грамматикалық мектепте оқыды. 1969 жылдан 1972 жылға дейін Кембридж университетінің Кингс колледжінде, Кембридж университетінде математиканы, кейін Кембридж университетінің математикалық зертханасында, қазір Кембридж университетінің компьютерлік зертханасында компьютер ғылымын оқыды. Ол Уорвик университетіне ауысып, робототехника саласында зерттеу жұмыстарын бастады. Сенсорлық және басқару жүйелерін іске асырудағы қиындықтар оны сериялық байланыс арналарымен байланыстырылған бір тақталы микрокомпьютерлер кластерінде жұмыс істейтін ертедегі параллель бағдарламалау тілін, EPL-ді жобалауға және іске асыруға итермеледі. Бұл ертедегі жұмысы оны Тони Хоар және Ианн Барронмен байланыстырды: Inmos компаниясын құрғандардың бірі. 1978 жылы Inmos құрылған кезде Мей микрокомпьютерлік архитектурада жұмыс істеуге қосылды, транспоттердің бас архитектор және оған байланысты бағдарламалау тілі Occam-ның дизайнымен айналысты. Бұл оның бұрынғы жұмысын кеңейтті және сол кезде CSP-де жұмыс істеп, Inmos-қа консультант ретінде көмектескен Тони Хоардың да ықпалында болды. Транспутердің прототипі "Simple 42" деп аталды және 1982 жылы аяқталды. 1985 жылы алғашқы өндірістік транспоттер, T212 және T414 шықты; 1987 жылы T800 қозғалатын нүктелі транспоттер пайда болды. Мей алғашқы VLSI пакеттік коммутаторлардың бірі C104 дизайнын және T9000 транспотерінің байланыс жүйесін бастады. Тони Хоармен және Оксфорд университетінің Бағдарламалау зерттеу тобымен тығыз жұмыс істеп, Мей T800 қозғалатын нүктелік блогы мен T9000 транспотерінің дизайнына формальды тексеру әдістерін енгізді. Бұл микропроцессорларды жобалауда формальды тексерудің алғашқы қолданылуларының бірі болды, спецификацияларды, дұрыстықты сақтаушы трансформацияларды және модельді тексеруді қамтиды, нәтижесінде Оксфордта әзірленген FDR тексерушінің бастапқы нұсқасы пайда болды. 1995 жылы Мей Бристоль университетіне компьютер ғылымының профессоры болып келді. 1995 жылдан 2006 жылға дейін компьютер ғылымы кафедрасын басқарды. Ол 2005 жылы өзі құрған XMOS университетінің спин-оф компаниясын қолдап, Бристольде профессорлық қызметін жалғастыруда. XMOS-қа дейін ол Picochip компаниясында жұмыс істеді, онда бастапқы нұсқаулар жинағын жазды. Мей үйленген, үш ұлы бар және Ұлыбританияның Бристоль қаласында тұрады.
May was born in Holmfirth, Yorkshire, England and attended Queen Elizabeth Grammar School, Wakefield. From 1969 to 1972 he was a student at King's College, Cambridge, University of Cambridge, at first studying Mathematics and then Computer Science in the University of Cambridge Mathematical Laboratory, now the University of Cambridge Computer 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 while supporting XMOS, a University spin out he co founded in 2005. Before XMOS, he was involved in Picochip, where he wrote the original instruction set. May is married with three sons and lives in Bristol, United Kingdom.
Марапаттар мен мойындау
1990 жылы Мей Саутгемптон университетінен құрметті ғылым докторы (DSc) дәрежесін алды, содан кейін 1991 жылы Корольдік қоғамның мүшесі болып сайланды және 1992 жылы Физика институтының Клиффорд Патерсон медалімен және сыйлығымен марапатталды. 2010 жылы ол Корольдік инженерлік академияның мүшесі болып сайланды.
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 Clifford Paterson Medal and Prize of the Institute of Physics in 1992. In 2010, he was elected a Fellow of the Royal Academy of Engineering.