Дэвид Мэй (ученый-компьютерщик)
Дэвид Мэй | |
|---|---|
| Рожденный | 24 февраля 1951 г. |
| Национальность | Британский |
| Альма-матер | Кембриджский университет |
| Известный | Транспьютер |
| Награды | ФРС (1991) Франция (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 году; транспьютер с плавающей запятой T800 в 1987 году . Мэй инициировал разработку одного из первых СБИС пакетных коммутаторов , C104 , вместе с системой связи транспьютера T9000 .
Тесно сотрудничая с Тони Хоаром и исследовательской группой по программированию Оксфордского университета , Мэй внедрил формальные методы проверки в конструкцию T800 блока с плавающей запятой и транспьютера T9000 . Это были одни из самых ранних применений формальной проверки при проектировании микропроцессоров, включающие спецификации, преобразования, сохраняющие корректность , и проверку моделей , что привело к появлению первоначальной версии программы проверки FDR, разработанной в Оксфорде.
В 1995 году Мэй поступила на работу в Бристольский университет в качестве профессора информатики. Он возглавлял кафедру информатики с 1995 по 2006 год. Он продолжает быть профессором в Бристоле, одновременно поддерживая XMOS , университетское подразделение, соучредителем которого он стал в 2005 году. До XMOS он участвовал в Picochip , где написал оригинальный набор инструкций.
Мэй женат, имеет троих сыновей и живет в Бристоле, Великобритания.
Награды и признание [ править ]
В 1990 году Мэй получил степень почетного доктора наук в Саутгемптонском университете , после чего в 1991 году он был избран членом Королевского общества , а также получил медаль Клиффорда Патерсона и премию Института физики в 1992 году.
В 2010 году он был избран научным сотрудником [3] Королевской инженерной академии . [4]
Закон Мэя [ править ]
Закон Мэя в отношении закона Мура гласит :
Эффективность программного обеспечения снижается вдвое каждые 18 месяцев, компенсируя закон Мура. [5]
Ссылки [ править ]
- ^ «Список коллег» . Архивировано из оригинала 8 июня 2016 года . Проверено 21 октября 2014 г.
- ^ Дэвид Мэй на DBLP библиографическом сервере
- ^ «Список коллег» . Архивировано из оригинала 8 июня 2016 года . Проверено 21 октября 2014 г.
- ^ «Список коллег» . Архивировано из оригинала 8 июня 2016 года . Проверено 21 октября 2014 г.
- ^ Идлайн, Дуглас. «Закон Мэя и параллельное программное обеспечение» . Журнал Линукс . Архивировано из оригинала 20 марта 2011 года . Проверено 9 мая 2011 г.
{{cite web}}: CS1 maint: неподходящий URL ( ссылка )
- Академики Бристольского университета
- Выпускники Королевского колледжа Кембриджа
- Выпускники Уорикского университета
- Британские ученые-компьютерщики
- Британские главные технологи
- Компьютерные дизайнеры
- Инженеры по компьютерному оборудованию
- Формальные методы люди
- Члены Королевского общества
- Члены Королевской инженерной академии
- История вычислений в Соединенном Королевстве
- 1951 рождений
- Живые люди
- Люди, получившие образование в гимназии королевы Елизаветы в Уэйкфилде.