Дэвид Мэй (специалист по информатике)

Майкл Дэвид Мэй (родился 24 февраля 1951 года) — британский учёный-компьютерщик . Профессор кафедры компьютерных наук в Университете Бристоля и основатель компании XMOS Semiconductor , занимавший до февраля 2014 года должность главного технологического директора . ^[1]

Мэй был ведущим архитектором транспьютера . По состоянию на 2017 год он имеет 56 патентов, все в области микропроцессоров и многопроцессорной обработки .

Мэй родился в Холмфирте , Йоркшир, Англия, и учился в Queen Elizabeth Grammar School, Wakefield . С 1969 по 1972 год он был студентом King's College, Cambridge , University of Cambridge , сначала изучая математику, а затем Computer Science в University of Cambridge Mathematical Laboratory, ныне University of Cambridge Computer Laboratory .

Он перешел в Университет Уорика и начал исследования в области робототехники . Проблемы внедрения систем обнаружения и управления привели его к разработке и внедрению раннего параллельного языка программирования EPL, который работал на кластере одноплатных микрокомпьютеров, соединенных последовательными коммуникационными каналами. Эта ранняя работа познакомила его с Тони Хоаром и Иэнном Барроном : одним из основателей Inmos .

Когда в 1978 году была сформирована компания Inmos , Мэй присоединился к работе над архитектурой микрокомпьютера, став ведущим архитектором транспьютера и разработчиком соответствующего языка программирования Occam . Это расширило его раннюю работу и также нашло свое отражение в работах Тони Хоара , который в то время работал над CSP и выступал в качестве консультанта Inmos.

Прототип транспьютера назывался Simple 42 и был завершен в 1982 году. Первые серийные транспьютеры T212 и T414 появились в 1985 году; транспьютер с плавающей точкой T800 — в 1987 году. Мэй инициировал проектирование одного из первых пакетных коммутаторов VLSI , C104 , вместе с системой связи транспьютера T9000 .

Тесно сотрудничая с Тони Хоаром и Программной исследовательской группой Оксфордского университета , Мэй ввел методы формальной верификации в конструкцию блока с плавающей точкой T800 и транспьютера T9000 . Это были некоторые из самых ранних применений формальной верификации в проектировании микропроцессоров, включая спецификации, преобразования, сохраняющие корректность , и проверку моделей , что привело к появлению первоначальной версии FDR-контроллера, разработанного в Оксфорде.

В 1995 году Мэй присоединился к Университету Бристоля в качестве профессора компьютерных наук. Он был главой факультета компьютерных наук с 1995 по 2006 год. Он продолжает быть профессором в Бристоле, одновременно поддерживая XMOS , ответвление университета, которое он основал в 2005 году. До XMOS он участвовал в Picochip , где написал оригинальный набор инструкций.

Мэй женат, имеет троих сыновей и живет в Бристоле, Великобритания.

В 1990 году Мэй получил почетную степень доктора наук от Университета Саутгемптона , а в 1991 году был избран членом Королевского общества , а в 1992 году получил медаль Клиффорда Патерсона и премию Института физики .

В 2010 году он был избран членом ^[2] Королевской инженерной академии . ^[3]

Закон Мэя , ссылаясь на закон Мура , гласит :

Эффективность программного обеспечения снижается вдвое каждые 18 месяцев, компенсируя закон Мура. ^[4]