Майкл Дэвид Мэй
Майкл Дэвид Мэй ([Нет даты!]) — британский учёный в области компьютерных наук, работающий в сферах компьютерной архитектуры, параллельных вычислений и робототехники.
Известен как ведущий архитектор транспьютера — первого микропроцессора, разработанного для параллельных и распределённых вычислений.
Биография[править]
Мэй родился в Холмфирте (Йоркшир, Англия) и учился в Грамматической школе королевы Елизаветы в Уэйкфилде. С 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 году он был награждён медалью и премией Клиффорда Патерсона Института физики за вклад в применение физики в промышленном или коммерческом контексте.
Примечания[править]
- ↑ David Wheeler, Obituary. Архивировано из первоисточника 19 февраля 2025. Проверено 18 июня 2026.
- ↑ Heroes of Tech, David May. Проверено 18 июня 2026.
- ↑ The Financial Times: Small chipmaker’s big ambitions. Проверено 18 июня 2026.
- ↑ The Royal Society: Professor David May. Проверено 18 июня 2026.
- ↑ Heroes of Tech, David May. Проверено 18 июня 2026.
- ↑ The Financial Times: Small chipmaker’s big ambitions. Проверено 18 июня 2026.
- ↑ Professor May elected Fellow of the Royal Academy of Engineering. Проверено 18 июня 2026.
 | Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Мэй, Дэвид (учёный)», расположенная по адресу:
Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?». |
|---|
- Персоналии по алфавиту
- Преподаватели Бристольского университета
- Выпускники Уорикского университета
- Члены Лондонского королевского общества
- Родившиеся в 1951 году
- Компьютерные инженеры
- Выпускники Королевского колледжа (Кембридж)
- Учёные в области информатики Великобритании
- Члены Королевской инженерной академии Великобритании
- Основатели ИТ-компаний Великобритании