Дэвид Мэй | |
---|---|
Родившийся | 24 февраля 1951 г. |
Национальность | Британский |
Альма-матер | Кембриджский университет |
Известен | Транспьютер |
Награды | FRS (1991) FREng (2010) Медаль Паттерсона (1992) |
Научная карьера | |
Учреждения | Бристольский университет |
Веб-сайт | www |
Майкл Дэвид Мэй 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]
Ссылки [ править ]
- ^ "Список стипендиатов" .
- ^ Дэвид Мэй насервере библиографии DBLP
- ^ "Список стипендиатов" .
- ^ "Список стипендиатов" .
- ^ Эдлин, Дуглас. «Закон Мая и параллельное программное обеспечение» . Журнал Linux . Проверено 9 мая 2011 года . CS1 maint: обескураженный параметр ( ссылка )