Оглавление
Дэвид Мэй (специалист по информатике)
-
Биография и образование
- Майкл Дэвид Мэй родился 24 февраля 1951 года в Холмфирте, Йоркшир, Англия.
- Учился в Королевском колледже Кембриджа, изучал математику и компьютерные науки.
- Переехал в Университет Уорика, где занимался робототехникой.
-
Карьера в Inmos
- В 1978 году присоединился к Inmos, стал ведущим архитектором transputer и разработчиком языка программирования Occam.
- Прототип транспьютера Simple 42 завершен в 1982 году, первые серийные транспьютеры появились в 1985 году.
- Инициировал разработку пакетного коммутатора VLSI C104 и системы связи транспьютера T9000.
- Внедрил формальные методы верификации в конструкцию модуля с плавающей запятой T800 и транспьютера T9000.
-
Работа в Бристольском университете
- В 1995 году поступил на работу в Бристольский университет, стал профессором компьютерных наук.
- С 1995 по 2006 год возглавлял кафедру компьютерных наук.
- Продолжает работать профессором в Бристоле, поддерживает XMOS, дочернее предприятие университета.
-
Личная жизнь и награды
- Замужем, имеет троих сыновей, живет в Бристоле.
- В 1990 году получил звание почетного доктора наук Саутгемптонского университета.
- В 1991 году избран членом Королевского общества, в 1992 году награжден медалью Клиффорда Патерсона и премией Института физики.
- В 2010 году избран членом Королевской инженерной академии.
-
Закон Мэй
- Закон Мэй гласит, что эффективность программного обеспечения снижается вдвое каждые 18 месяцев, что соответствует закону Мура.