Алан Майкрофт
Алан Майкрофт | |
|---|---|
| Альма-матер |
|
| Известный | |
| Дети | 4 |
| Научная карьера | |
| Поля | |
| Учреждения | |
| Тезис | Абстрактная интерпретация и оптимизационные преобразования для аппликационных программ (1982) |
| научный руководитель | |
| Веб-сайт | www.cl.cam.ac.uk/~am21/ |
Алан Майкрофт — профессор компьютерной лаборатории Кембриджского университета и научный сотрудник Робинсон-колледжа в Кембридже , где он также является директором по исследованиям в области компьютерных наук .
Образование
Майкрофт изучал математику в Кембридже, затем переехал в Эдинбург, где получил степень доктора философии, защитив диссертацию на тему «Абстрактная интерпретация и оптимизация преобразований для прикладных программ» [2] под руководством Рода Берстолла и Робина Милнера .
Исследовать
Научные интересы Майкрофта [3] [4] [5] [6] [1] лежат в области языков программирования , разработки программного обеспечения и алгоритмов . [7] [8] [9] [10]
Вместе с Артуром Норманом он создал компилятор Norcroft C. [11] Он также является попечителем Raspberry Pi Foundation , благотворительной организации, чей одноплатный компьютер призван стимулировать преподавание основ информатики в школах. [12]
Личная жизнь
У Майкрофта четверо детей. [ необходима цитата ]
Ссылки
- ^ ab Публикации Алана Майкрофта, проиндексированные Google Scholar
- ^ ab Майкрофт, Алан (1982). Абстрактная интерпретация и оптимизация преобразований для прикладных программ (диссертация на степень доктора философии). Эдинбургский университет. OCLC 10271733.
- ^ Публикации Алана Майкрофта, проиндексированные Microsoft Academic
- ^ Алан Майкрофт на сервере библиографии DBLP
- ^ Страница профиля автора Алана Майкрофта в ACM Digital Library
- ^ Публикации Алана Майкрофта, проиндексированные в библиографической базе данных Scopus . (требуется подписка)
- ^ Майкрофт, А.; О'Киф, Р.А. (1984). «Полиморфная система типов для пролога». Искусственный интеллект . 23 (3): 295. doi :10.1016/0004-3702(84)90017-1.
- ^ Майкрофт, А. (1984). "Полиморфные схемы типов и рекурсивные определения". Международный симпозиум по программированию . Конспект лекций по информатике. Том 167. С. 217–228. doi :10.1007/3-540-12925-1_41. ISBN 978-3-540-12925-7.
- ^ Майкрофт, А. (1980). «Теория и практика преобразования вызова по потребности в вызов по значению». Международный симпозиум по программированию . Конспект лекций по информатике. Том 83. С. 269–281. doi :10.1007/3-540-09981-6_19. ISBN 978-3-540-09981-9.
- ^ Нетеркот, Н.; Майкрофт, А. (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, компьютер на палочке». Electronics Weekly . Получено 11 июля 2011 г. Разработчиками
Raspberry Pi и попечителями его Фонда являются: Дэвид Брэбен — основатель компании по разработке игрового программного обеспечения Frontier Developments и соавтор «Elite». Джек Лэнг — бизнес-ангел, один из первых сотрудников Acorn, основатель стартапов в Кембридже. Пит Ломас — основатель и управляющий директор Norcott Technologies. Роберт Маллинз — компьютерная лаборатория Кембриджского университета и колледж Св. Иоанна, Кембридж. Алан Майкрофт — профессор вычислительной техники в компьютерной лаборатории Кембриджского университета Эбен Аптон — инженер в Broadcom Europe, основатель стартапов в области программного обеспечения и бывший директор по компьютерным наукам в колледже Св. Иоанна, Кембридж.
 | Эта статья-биография ученого из Великобритании — заглушка . Вы можете помочь Википедии, расширив ее. |
 | Эта статья о британском ученом — заглушка . Вы можете помочь Википедии, расширив ее. |
