Дэвид Мэй | |
---|---|
Родился | (1951-02-24) 24 февраля 1951 (возраст 69) |
Национальность | Британский |
Alma mater | Кембриджский университет |
Известен для | Transputer |
Awards | FRS (1991). FREng (2010). Медаль Паттерсона (1992) |
Научная карьера | |
Учреждения | Университет из Бристоля |
Веб-сайт | www.cs.bris.ac.uk / ~ dave / |
Майкл Дэвид Мэй FRS ФРЕнг (родился 24 февраля 1951 г.) - британский ученый-компьютерщик. Он является профессором факультета компьютерных наук в Бристольском университете и основателем XMOS Semiconductor, занимая до февраля 2014 года должность главного технолога. офицер.
Мэй был ведущим архитектором для транспьютера. По состоянию на 2017 год он имеет 56 патентов, все на микропроцессоры и многопроцессорные.
Мэй родился в Холмферт, Йоркшир, Англия, и учился в гимназии королевы Елизаветы в Уэйкфилде. С 1969 по 1972 год он был студентом Королевского колледжа в Кембридже, Кембриджского университета, сначала изучал математику, а затем информатику в математической лаборатории Кембриджского университета, ныне Компьютерная лаборатория Кембриджского университета.
Он перешел в Уорикский университет и начал исследования в области робототехники. Проблемы внедрения систем контроля и управления привели его к разработке и внедрению раннего языка параллельного программирования, EPL, который работал на кластере одноплатных микрокомпьютеров соединены последовательной связью линками. Эта ранняя работа позволила ему познакомиться с Тони Хоаром и Ианом Бэрроном : одним из основателей Inmos.
, когда Inmos была сформирована в 1978 году. Мэй присоединился к работе над архитектурой микрокомпьютера, став ведущим архитектором транспьютера и разработчиком связанного языка программирования Оккам. Это расширило его раннюю работу, а также на него повлиял Тони Хоар, который в то время работал над CSP и выступал в качестве консультанта Inmos.
Прототип транспьютера получил название и был завершен в 1982 году. Первые серийные транспьютеры, T212 и T414, последовали в 1985 году; транспьютер с плавающей запятой T800 в 1987 году. Мэй инициировал разработку одного из первых коммутаторов пакетов VLSI , C104, вместе с система связи транспьютера T9000.
Тесно сотрудничая с Тони Хоаром и исследовательской группой по программированию в Оксфордском университете, Мэй ввел формальные методы проверки в разработку T800 модуль с плавающей запятой и транспьютер T9000. Это были одни из самых ранних применений формальной проверки при проектировании микропроцессоров, включая спецификации, преобразования с сохранением правильности и проверку модели, что привело к появлению первоначальной версии Программа проверки FDR разработана в Оксфорде.
В 1995 году Мэй поступил на работу в Бристольский университет в качестве профессора компьютерных наук. Он был главой отдела информатики с 1995 по 2006 год. Он продолжает работать профессором в Бристоле, поддерживая XMOS, дочернее предприятие университета, которое он основал в 2005 году. До XMOS он участвовал в 43>Picochip, где он написал исходный набор инструкций.
Мэй женат, имеет трех сыновей и живет в Бристоле, Соединенное Королевство. Он с энтузиазмом поклонник Гарфилда, и, как известно, во время лекций одевался как главный герой.
В 1990 году Мэй получил почетную степень доктора наук в Саутгемптонском университете, после чего в 1991 году его избрали научным сотрудником. Королевского общества и медалью Клиффорда Патерсона и премией Института физики в 1992 году.
В 2010 году он был избран Член Королевской инженерной академии.
Закон Мэя гласит со ссылкой на Закон Мура :
Эффективность программного обеспечения снижается вдвое каждые 18 месяцев, компенсируя Закон Мура.