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

Дэвид Мэй
Родившийся (1951-02-24) 24 февраля 1951 г. (возраст 69)
НациональностьБританский
Альма-матерКембриджский университет
ИзвестенТранспьютер
НаградыФРС (1991)
FREng (2010)
Медаль Паттерсона (1992)
Научная карьера
УчрежденияБристольский университет
Интернет сайтwww.cs.bris.ac.Великобритания/ ~ Дэйв/

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

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

Жизнь и карьера

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

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

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

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

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

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

Мэй женат, имеет троих сыновей и живет в Бристоль, Объединенное Королевство. Он страстный поклонник Гарфилд, и, как известно, во время лекций одевался как главный герой.

Награды и признание

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

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

Закон мая

Основная статья: Закон вирта

Закон Мая заявляет со ссылкой на Закон Мура:

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

Рекомендации

  1. ^ «Список стипендиатов».
  2. ^ Дэвид Мэй в DBLP Сервер библиографии Отредактируйте это в Викиданных
  3. ^ «Список стипендиатов».
  4. ^ «Список стипендиатов».
  5. ^ Эдлин, Дуглас. «Закон Мая и параллельное программное обеспечение». Журнал Linux. Получено 9 мая 2011.