Дэвид Мэй (ученый-компьютерщик)

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

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

Жизнь и карьера [ править ]

Мэй родился в Холмферт , Йоркшир, Англия, и учился в гимназии королевы Елизаветы в Уэйкфилде . С 1969 по 1972 год он был студентом в Королевском колледже, Кембридж , Кембриджский университет , в первую изучении математики , а затем информатику в университете Кембриджа математической лаборатории, теперь Кембриджский университет компьютерной лаборатории .

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

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

Прототип транспьютера назывался Simple 42 и был завершен в 1982 году. Первые серийные транспьютеры, T212 и T414 , последовали в 1985 году; Т800 с плавающей точкой транспьютерный в мае 1987 года приступил к разработке одного из первых СБИСОВ коммутаторов пакетов , в C104 , вместе с системой связи на T9000 транспьютере.

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

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

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

Награды и признание [ править ]

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

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

Закон Мэй [ править ]

Закон Мэй гласит со ссылкой на Закон Мура :

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

Ссылки [ править ]