Jump to content

Алан Майкрофт

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

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

Образование

[ редактировать ]

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

Исследовать

[ редактировать ]

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

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

Личная жизнь

[ редактировать ]

У Майкрофта четверо детей. [ нужна ссылка ]

  1. ^ Jump up to: а б Публикации Алана Майкрофта , индексируемые Google Scholar Отредактируйте это в Викиданных
  2. ^ Jump up to: а б Майкрофт, Алан (1982). Абстрактная интерпретация и оптимизирующие преобразования для прикладных программ (кандидатская диссертация). Эдинбургский университет. OCLC   10271733 .
  3. ^ Публикации Алана Майкрофта, индексируемые Microsoft Academic.
  4. ^ Алан Майкрофт на DBLP библиографическом сервере Отредактируйте это в Викиданных
  5. ^ Алана Майкрофта Страница профиля автора ACM. в цифровой библиотеке Отредактируйте это в Викиданных
  6. ^ Публикации Алана Майкрофта, индексируемые библиографической базой данных Scopus . (требуется подписка)
  7. ^ Майкрофт, А.; О'Киф, РА (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. ^ Нетеркот, Н.; Майкрофт, А. (2003). «Редукс» . Электронные заметки по теоретической информатике . 89 (2): 149. doi : 10.1016/S1571-0661(04)81047-8 .
  11. ^ Майкрофт, Алан; Норман, Артур К. (1992). «Часть I: классические императивные языки». Оптимизация компиляции . Кембридж, Великобритания: Компьютерная лаборатория Кембриджского университета. CiteSeerX   10.1.1.43.9953 . OCLC   29982690 . […] компилятор «Норкрофт», совместно созданный авторами […] Коммерческие интересы переданы Codemist Ltd. […]
  12. ^ Буш, Стив (26 мая 2011 г.). «Подробно: Raspberry Pi, компьютер на флешке» . Еженедельник электроники . Проверено 11 июля 2011 г. Разработчиками Raspberry Pi и попечителями его фонда являются: Дэвид Брабен — основатель компании Frontier Developments, занимающейся разработкой игрового программного обеспечения, и соавтор книги «Elite». Джек Лэнг – бизнес-ангел, один из первых сотрудников Acorn, основатель кембриджских стартапов. Пит Ломас – основатель и управляющий директор Norcott Technologies. Роберт Маллинз – Компьютерная лаборатория Кембриджского университета и Колледж Св. Иоанна, Кембридж. Алан Майкрофт – профессор вычислительной техники в компьютерной лаборатории Кембриджского университета. Эбен Аптон – инженер Broadcom Europe, основатель стартапов по разработке программного обеспечения и бывший директор отдела информатики в колледже Св. Иоанна в Кембридже.


Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: b6b0ced2e4df9d68e632cc130646b7a6__1705922100
URL1:https://arc.ask3.ru/arc/aa/b6/a6/b6b0ced2e4df9d68e632cc130646b7a6.html
Заголовок, (Title) документа по адресу, URL1:
Alan Mycroft - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)