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