Дэвид Мэй (ученый-компьютерщик) - David May (computer scientist)
Дэвид Мэй | |
|---|---|
| Родившийся | 24 февраля 1951 г. |
| Национальность | Британский |
| Альма-матер | Кембриджский университет |
| Известен | Транспьютер |
| Награды | FRS (1991) FREng (2010) Медаль Паттерсона (1992) |
| Научная карьера | |
| Учреждения | Бристольский университет |
| Интернет сайт | www |
Майкл Дэвид Мэй FRS FREng (родился 24 февраля 1951 г.) - британский ученый-компьютерщик . Он является профессором факультета компьютерных наук в Бристольском университете и основателем XMOS Semiconductor , занимая до февраля 2014 года должность технического директора .
Май был ведущим архитектором для транспьютера . По состоянию на 2017 год он имеет 56 патентов, все в области микропроцессоров и многопроцессорной обработки .
Жизнь и карьера
Мэй родился в Холмфёрте , Йоркшир, Англия, и учился в гимназии королевы Елизаветы в Уэйкфилде . С 1969 по 1972 год он был студентом в Королевском колледже, Кембридж , Кембриджский университет , в первом изучении математики , а затем информатику в университете Кембриджа математической лаборатории, теперь Кембриджский университет компьютерной лаборатории .
Он перешел в Уорикский университет и начал исследования в области робототехники . Проблемы внедрения систем контроля и управления привели его к разработке и внедрению раннего языка параллельного программирования , EPL, который работал на кластере одноплатных микрокомпьютеров, соединенных последовательными линиями связи. Эта ранняя работа позволила ему познакомиться с Тони Хоаром и Яном Бэрроном : одним из основателей Inmos .
Когда Inmos была основана в 1978 году, Мэй присоединился к работе над архитектурой микрокомпьютера, став ведущим архитектором транспьютера и разработчиком связанного языка программирования 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 году он был избран членом в Королевской инженерной академии .
Закон мая
Закон Мэй гласит со ссылкой на Закон Мура :
Эффективность программного обеспечения снижается вдвое каждые 18 месяцев, что компенсирует закон Мура.