WikiDer > Алан Майкрофт
Алан Майкрофт | |
|---|---|
| Альма-матер |
|
| Известен | |
| Дети | 4 |
| Научная карьера | |
| Поля | |
| Учреждения | |
| Тезис | Абстрактная интерпретация и оптимизирующие преобразования для прикладных программ (1982) |
| Докторант | |
| Интернет сайт | www |
Алан Майкрофт является профессором Компьютерная лаборатория Кембриджского университета и сотрудник Колледж Робинсона, Кембридж, где он также является научным руководителем Информатика.
Образование
Майкрофт изучал математику в Кембридже, затем переехал в Эдинбург, где получил степень доктора философии, защитив диссертацию по абстрактной интерпретации и оптимизации преобразований для прикладных программ.[2] под руководством Род Берстолл и Робин Милнер.
Исследование
Научные интересы Майкрофта[3][4][5][6][1] находятся в Языки программирования, Разработка программного обеспечения и Алгоритмы.[7][8][9][10]
С Артур Норман, он стал соавтором Компилятор Norcroft C.[11] Он также является уполномоченным попечителем Фонд Raspberry Pi, благотворительная организация, чья одноплатный компьютер предназначен для стимулирования преподавания основ информатики в школах.[12]
Личная жизнь
У Майкрофта четверо детей.[нужна цитата]
Рекомендации
- ^ а б Алан Майкрофт публикации, проиндексированные Google ученый
- ^ а б Майкрофт, Алан (1982). Абстрактная интерпретация и оптимизирующие преобразования для прикладных программ (Кандидатская диссертация). Эдинбургский университет. OCLC 10271733.
- ^ Список публикаций из Microsoft Academic
- ^ Алан Майкрофт в DBLP Сервер библиографии
- ^ Алан Майкрофт страница профиля автора на ACM Цифровая библиотека
- ^ Публикации Алана Майкрофта индексируется Scopus библиографическая база данных. (требуется подписка)
- ^ Mycroft, A .; О'Киф, Р. А. (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.
- ^ Nethercote, N .; Майкрофт, А. (2003). "Редукс". Электронные заметки по теоретической информатике. 89 (2): 149. Дои: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, основатель программных стартапов и бывший директор по информатике в колледже Св. Иоанна в Кембридже.
 | Эта биографическая статья ученого из Соединенного Королевства заглушка. Вы можете помочь Википедии расширяя это. |
 | Эта статья об одном британском ученом - заглушка. Вы можете помочь Википедии расширяя это. |
| P ≟ NP | Эта биографическая статья, относящаяся к специалист в области информатики это заглушка. Вы можете помочь Википедии расширяя это. |