Мэй, Дэвид (учёный)
Майкл Дэвид Мэй (род. 24 февраля 1951) — британский учёный в области компьютерных наук, работающий в сферах компьютерной архитектуры, параллельных вычислений и робототехники. Известен как ведущий архитектор транспьютера — первого микропроцессора, разработанного для параллельных и распределённых вычислений.
Общие сведения
| Дэвид Мэй | |
|---|---|
| англ. David May | |
| Дата рождения | 24 февраля 1951 (75 лет) |
| Страна | |
| Образование | |
| Род деятельности | специалист в области информатики, инженер, преподаватель университета |
| Награды и премии | |
| Сайт | cs.bris.ac.uk/~dave/ |
Биография
Мэй родился в Холмфирте (Йоркшир, Англия) и учился в Грамматической школе королевы Елизаветы в Уэйкфилде. С 1969 по 1972 год был студентом Кингс-колледжа Кембриджского университета, где сначала изучал математику, а затем компьютерные науки в Математической лаборатории Кембриджского университета (ныне Компьютерная лаборатория Кембриджского университета).
В Кембридже Мэй изучал проектирование компьютерной архитектуры у Дэвида Уилера, который работал над EDSAC и стал пионером использования подпрограмм[1]. Написание компиляторов он изучал у Мартина Ричардса, разработчика BCPL — языка программирования, заложившего основы для C[2].
Мэй женат, у него трое сыновей и пятеро внуков.
Академическая деятельность
Мэй перешёл в Уорикский университет и начал исследования в области робототехники. Проблемы реализации систем восприятия и управления привели его к разработке и внедрению раннего языка параллельного программирования EPL, который работал на кластере одноплатных микрокомпьютеров, соединённых каналами последовательной связи. Эта ранняя работа свела его с будущим многолетним соавтором, влиятельным учёным в области компьютерных наук Тони Хоаром, и Ианом Барроном, одним из основателей Inmos.
В 1995 году Мэй стал руководителем факультета компьютерных наук Бристольского университета. Он внедрил новые программы обучения, включавшие предпринимательскую деятельность, что привело к созданию множества студенческих стартапов, и сыграл важную роль в создании Бристольской лаборатории робототехники. Он занимал должность руководителя факультета до 2005 года, когда стал соучредителем и техническим директором новой полупроводниковой компании XMOS[3].
Он является профессором в Бристоле, работая в областях компьютерной архитектуры и языков программирования, в частности с приложениями для робототехники, интернета вещей и периферийных вычислений.
Полупроводниковая промышленность и предпринимательство
Inmos
Компания Inmos была основана в 1978 году с инвестициями правительства Великобритании в размере 50 миллионов фунтов стерлингов. Мэй присоединился к работе над архитектурой микрокомпьютеров, став ведущим архитектором транспьютера.
Транспьютер использовался в основном для массово-параллельных супервычислений, цифровой обработки изображений, научных вычислений (особенно в физике высоких энергий), робототехники, а также в военных приложениях. Процессор транспьютера был использован в более чем 1 миллиарде устройств по всему миру.
Наряду с транспьютером Мэй разработал связанный с ним язык программирования Occam[4]. Это расширило его более раннюю работу, а также было выполнено под влиянием Тони Хоара, который в то время работал над CSP и выступал консультантом Inmos. Occam может использоваться как язык спецификации аппаратного обеспечения.
Работая с Тони Хоаром и Группой исследований в области программирования в Оксфордском университете, Мэй внедрил методы формальной верификации в проектирование модуля вычислений с плавающей запятой T800 и транспьютера T9000. Это были одни из первых случаев использования формальной верификации при проектировании микропроцессоров, включающие спецификации, преобразования с сохранением корректности и проверку моделей, что привело к созданию первоначальной версии средства проверки FDR, разработанного в Оксфорде.
Мэй инициировал разработку одного из первых коммутаторов пакетов СБИС, C104, вместе с системой связи транспьютера T9000.
Работа Мэя оказала влияние на связь и сети. Например, стандарт IEEE 1355 происходит от сетевого интерфейса транспьютера и лежит в основе SpaceWire, коммуникационной сети космических аппаратов, используемой НАСА, ЕКА и многими другими, с приложениями, включающими космический телескоп «Джеймс Уэбб» (JWST)[5].
Inmos была приобретена Thorn EMI, а затем STMicroelectronics, которая стала крупнейшей полупроводниковой компанией в Европе.
XMOS Semiconductor
В 2005 году Мэй вместе с Али Диксоном, Джеймсом Фостером, Ноэлем Херли и Хитешем Мехтой стал соучредителем XMOS — бесфабричной полупроводниковой компании, производящей программно-определяемые, настраиваемые микросхемы для применения в потребительском, промышленном и автомобильном секторах[6]. Компания привлекла более 60 миллионов долларов от инвесторов, включая Amadeus Capital Partners, Robert Bosch Venture Capital GmbH, Huawei, Xilinx, Harbert European Growth Capital и Infineon.
Мэй был техническим директором до 2014 года и входит в консультативный совет.
Экспертная и консультативная работа
Мэй участвовал в работе ряда других полупроводниковых компаний, например:
- Советник в Icera, приобретённой NVidia.
- Советник в UltraSoC, приобретённой Siemens.
- Советник в Element-14, приобретённой Broadcom.
- Он написал оригинальный набор команд для Picochip (приобретена Mindspeed Technologies, а затем Intel).
Мэй также выступает в качестве свидетеля-эксперта в судебных разбирательствах по вопросам интеллектуальной собственности.
Награды и признание
Мэй является членом Лондонского королевского общества, избранным в 1991 году за вклад в компьютерную архитектуру и параллельные вычисления.
Он также является членом Королевской инженерной академии наук, избранным в 2010 году[7].
Мэй получил почётную степень доктора наук Саутгемптонского университета в 1990 году.
В 1992 году он был награждён медалью и премией Клиффорда Патерсона Института физики за вклад в применение физики в промышленном или коммерческом контексте.
Примечания
Дополнительно по теме
 | ||||
|---|---|---|---|---|
