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

Алан Майкрофт
Алан Майкрофт
Альма-матер	Кембриджский университет (бакалавр, магистр, доктор философии) ; Эдинбургский университет (доктор философии) ;
Известный	Компилятор Norcroft C ; Фонд Raspberry Pi ;
Дети	4
	Научная карьера
Поля	Языки программирования ; Сборник ; Статический анализ ;
Учреждения	Кембриджский университет ; Компьютерная лаборатория ; Фонд Raspberry Pi ;
Диссертация	Абстрактная интерпретация и оптимизирующие преобразования для прикладных программ (1982)
Докторантура	Род Берстолл ; Робин Милнер ;
Веб-сайт	www .cl .камера .и .uk /~am21 /

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

Образование

Майкрофт изучал математику в Кембридже, затем переехал в Эдинбург, где получил степень доктора философии, защитив диссертацию по абстрактной интерпретации и оптимизации преобразований для прикладных программ. ^[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, основатель стартапов по разработке программного обеспечения и бывший директор отдела информатики в колледже Св. Иоанна в Кембридже.

Эта статья о биографии ученого из Соединенного Королевства незавершена . Вы можете помочь Википедии, расширив ее .

Эта статья о британском ученом незавершена . Вы можете помочь Википедии, расширив ее .

П ≟ НП

Эта биографическая статья, посвященная ученому-компьютерщику незавершена , . Вы можете помочь Википедии, расширив ее .

[googlescholar-1] Jump up to: ^а ^б Публикации Алана Майкрофта , индексируемые Google Scholar

[mycroftphd-2] Jump up to: ^а ^б Майкрофт, Алан (1982). Абстрактная интерпретация и оптимизирующие преобразования для прикладных программ (кандидатская диссертация). Эдинбургский университет. OCLC 10271733 .

[microsoft-3] Публикации Алана Майкрофта, индексируемые Microsoft Academic.

[dblp-4] Алан Майкрофт на DBLP библиографическом сервере

[ACM-5] Алана Майкрофта Страница профиля автора ACM. в цифровой библиотеке

[scopus-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, основатель стартапов по разработке программного обеспечения и бывший директор отдела информатики в колледже Св. Иоанна в Кембридже.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Франция Данные БнФ Израиль Бельгия Соединенные Штаты Чешская Республика Корея Нидерланды
академики	Ассоциация вычислительной техники ДБЛП Google Академика MathSciNet Проект математической генеалогии ОРЦИД Скопус zbMATH
Другой	ИдРеф