Алан Майкрофт - Alan Mycroft

Алан Майкрофт
Альма-матер
Известен
Дети4
Научная карьера
Поля
Учреждения
ТезисАбстрактная интерпретация и оптимизирующие преобразования для прикладных программ  (1982)
Докторант
Интернет сайтwww.cl.cam.ac.Великобритания/ ~ am21/

Алан Майкрофт является профессором Компьютерная лаборатория Кембриджского университета и сотрудник Колледж Робинсона, Кембридж, где он также является научным руководителем Информатика.

Образование

Майкрофт изучал математику в Кембридже, затем переехал в Эдинбург, где получил степень доктора философии, защитив диссертацию по абстрактной интерпретации и оптимизации преобразований для прикладных программ.[2] под руководством Род Берстолл и Робин Милнер.

Исследование

Научные интересы Майкрофта[3][4][5][6][1] находятся в Языки программирования, Разработка программного обеспечения и Алгоритмы.[7][8][9][10]

С Артур Норман, он стал соавтором Компилятор Norcroft C.[11] Он также является уполномоченным попечителем Фонд Raspberry Pi, благотворительная организация, чья одноплатный компьютер предназначен для стимулирования преподавания основ информатики в школах.[12]

Личная жизнь

У Майкрофта четверо детей.[нужна цитата ]

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

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