Алан Майкрофт | |
---|---|
Альма-матер |
|
Известен | |
Дети | 4 |
Научная карьера | |
Поля | |
Учреждения | |
Тезис | Абстрактная интерпретация и оптимизирующие преобразования для прикладных программ (1982) |
Докторант | |
Веб-сайт | www |
Алан Майкрофт - профессор компьютерной лаборатории Кембриджского университета и научный сотрудник Робинсон-колледжа в Кембридже , где он также является руководителем исследований в области компьютерных наук .
Образование [ править ]
Майкрофт изучал математику в Кембридже, затем переехал в Эдинбург, где получил степень доктора философии, защитив диссертацию по абстрактной интерпретации и оптимизации преобразований для прикладных программ [2] под руководством Рода Берстолла и Робина Милнера .
Исследование [ править ]
Научные интересы Майкрофта [3] [4] [5] [6] [1] связаны с языками программирования, разработкой программного обеспечения и алгоритмами . [7] [8] [9] [10]
С Артуром Нормана , он совместно создал компилятор Norcroft C . [11] Он также является уполномоченным попечителем Raspberry Pi Foundation , благотворительной организации, одноплатный компьютер которой предназначен для стимулирования преподавания основ информатики в школах. [12]
Личная жизнь [ править ]
У Майкрофта четверо детей. [ необходима цитата ]
Ссылки [ править ]
- ^ a b Публикации Алана Майкрофта, проиндексированные Google Scholar
- ^ a b Майкрофт, Алан (1982). Абстрактная интерпретация и оптимизирующие преобразования для прикладных программ (кандидатская диссертация). Эдинбургский университет. OCLC 10271733 .
- ^ Список публикаций из Microsoft Academic
- ^ Алан Майкрофт насервере библиографии DBLP
- ^ Страница профиля автора Алана Майкрофта вцифровой библиотеке ACM
- ^ Публикации Алана Майкрофта индексируется Scopus библиографической базы данных. (требуется подписка)
- ^ Майкрофт, А .; О'Киф, Р.А. (1984). «Система полиморфных типов для пролога». Искусственный интеллект . 23 (3): 295. DOI : 10,1016 / 0004-3702 (84) 90017-1 .
- Перейти ↑ Mycroft, A. (1984). «Схемы полиморфных типов и рекурсивные определения». Международный симпозиум по программированию . Конспект лекций по информатике. 167 . С. 217–228. DOI : 10.1007 / 3-540-12925-1_41 . ISBN 978-3-540-12925-7.
- Перейти ↑ Mycroft, A. (1980). «Теория и практика преобразования вызова по потребности в вызов по значению». Международный симпозиум по программированию . Конспект лекций по информатике. 83 . С. 269–281. DOI : 10.1007 / 3-540-09981-6_19 . ISBN 978-3-540-09981-9.
- ^ Nethercote, N .; Майкрофт, А. (2003). "Redux" . Электронные заметки по теоретической информатике . 89 (2): 149. DOI : 10.1016 / S1571-0661 (04) 81047-8 .
- ^ Майкрофт, Алан; Норман, Артур С. (1992). «Часть I: классические императивные языки». Оптимизация компиляции . Кембридж, Великобритания: Кембриджский университет, компьютерная лаборатория. CiteSeerX 10.1.1.43.9953 . OCLC 29982690 .
[…] Компилятор Norcroft, совместно созданный авторами […] Коммерческие интересы передаются Codemist Ltd. […]
- ↑ Буш, Стив (26 мая 2011 г.). «Подробно: Raspberry Pi, компьютер на флешке» . Еженедельник электроники . Проверено 11 июля 2011 года .
Разработчиками Raspberry Pi и попечителями его фонда являются: Дэвид Брабен - основатель компании Frontier Developments по разработке программного обеспечения для игр и соавтор книги «Elite». Джек Лэнг - бизнес-ангел, ранний сотрудник Acorn, основатель кембриджских стартапов. Пит Ломас - основатель и управляющий директор Norcott Technologies. Роберт Маллинс - Компьютерная лаборатория Кембриджского университета и Колледж Св. Иоанна, Кембридж. Алан Майкрофт - профессор вычислительной техники компьютерной лаборатории Кембриджского университета. Эбен Аптон - инженер Broadcom Europe, основатель программных стартапов и бывший директор по информатике в колледже Св. Иоанна в Кембридже.