Джон Дарлингтон
Джон Дарлингтон | |
|---|---|
 | |
| Национальность | Британский |
| Род занятий | Академик, исследователь и автор |
| Академическое образование | |
| Образование | Бакалавр наук (Экон) (1969) Доктор философии, искусственный интеллект (1973). |
| Альма-матер | Лондонская школа экономики Эдинбургский университет |
| Академическая работа | |
| Учреждения | Эдинбургский университет Имперский колледж Лондона |
Джон Дарлингтон — британский академик, исследователь и писатель. Он является почетным профессором Имперского колледжа Лондона . Он был директором Лондонского центра электронных наук и главой отделов функционального программирования и социальных вычислений в Imperial. [1]
Дарлингтон известен своими ранними работами по преобразованию программ и функциональному программированию. В своей диссертации 1972 года Дарлингтон популяризировал идею трансформации программ , то есть преобразования программ в альтернативные формы, сохраняя их семантику и одновременно изменяя их эксплуатационные характеристики. [2]
Ранняя жизнь и образование
[ редактировать ]Дарлингтон получил степень бакалавра наук. (экономист) в 1969 году из Лондонской школы экономики и получил докторскую степень. Он получил степень бакалавра искусственного интеллекта на факультете машинного интеллекта Эдинбургского университета в 1973 году. С 1973 по 1977 год он был научным сотрудником в Эдинбургском университете. Позже он был приглашенным научным сотрудником в IBM Yorktown Heights и Стэнфордском исследовательском институте . [1]
Карьера
[ редактировать ]В 1977 году Дарлингтон поступил на работу в Имперский колледж в качестве преподавателя кафедры вычислительной техники, стал доцентом в 1982 году и профессором в 1985 году. В Имперском колледже он занимал несколько должностей в качестве директора центров, направленных на разработку приложений параллельных и новых компьютерных технологий. архитектуры. К ним относятся Исследовательский центр параллельных вычислений Имперского колледжа/Fujitsu (1994–2000 гг.), Центр параллельных вычислений Имперского колледжа (1996–2002 гг.), Лондонский центр электронных научных исследований (2002–2005 гг.) и Интернет-центр Имперского колледжа (2005–2005 гг.). 2008). [1]
В 2015 году Дарлингтон стал почетным профессором Имперского колледжа. Он вышел на пенсию в 2016 году в возрасте 69 лет. [1]
Исследования и работа
[ редактировать ]Компьютерные исследования
[ редактировать ]Дарлингтон известен своими ранними работами по преобразованию программ и функциональному программированию. В своей диссертации 1972 года Дарлингтон представил идею трансформации программ, то есть преобразования программ в альтернативные формы, сохраняя их семантику и одновременно изменяя их эксплуатационные характеристики. [3] В последующей работе со своим руководителем Родом Берстоллом Дарлингтон разработал расчет развертывания/свертывания для преобразования программ. [4] Эта система из шести правил перезаписи стала классической и составляет основу большой работы во многих областях, которая продолжается и по сей день. [5] В результате этой работы Берстолл и Дарлингтон представили новый функциональный язык NPL , основанный на уравнениях рекурсии Клини , который внес ранний вклад в развитие стиля чисто функционального программирования с множеством уравнений и сопоставлением с образцом. [6]
Дарлингтон был одним из первых сторонников функциональных языков программирования и декларативного подхода в целом. Он основал и возглавил секцию функционального программирования на факультете вычислительной техники Имперского колледжа в 1977 году, работал в рабочей группе 2.8 IFIP и руководил разработкой Hope+, расширения Hope , который сам по себе был языком-преемником NPL. [7] Эта ранняя работа помогла проложить путь для более поздних разработок, таких как Haskell .
Ранняя объединяющая идея Дарлингтона заключалась в том, чтобы показать, что при правильных обозначениях компьютерные программы можно рассматривать как математические, формально манипулируемые объекты. Преимущества этого подхода были реализованы в последующих исследованиях, в результате которых были созданы такие инновации, как: проектирование параллельных машин , машина сокращения функциональных графов ALICE (1985), [8] [9] предшественник коммерческой параллельной машины базы данных ICL Goldrush (1992 г.); формы координации (1996) [10] см. карту/сокращение и рыночные сервисные вычисления. [11] [12] [13] сотрудничество с Sun Microsystems, например, облачные вычисления.
Междисциплинарные высокопроизводительные вычисления
[ редактировать ]Исследования Дарлингтона в области параллельных вычислений привели к тому, что компания Fujitsu основала Имперский колледж/Исследовательский центр параллельных вычислений Fujitsu, открытый в 1994 году Ее Королевским Высочеством принцессой. [14] Fujitsu подарила новую машину AP1000 со 128 процессорами стоимостью более 1 миллиона фунтов стерлингов, а Центр под руководством Дарлингтона в качестве директора реализовал открытую междисциплинарную программу параллельной разработки приложений. Эта постоянная деятельность продолжалась под эгидой Центра параллельных вычислений Имперского колледжа (1996–2002 гг.), Лондонского центра электронных наук, [15] (2002–2005 гг.) и Интернет-центр Имперского колледжа (2005–2008 гг.).
Программа электронной науки Великобритании была запущена в 2001 году, когда Лондонский центр электронной науки (LeSC) выступил в качестве регионального центра. LeSC реализовала обширную совместную программу с приложениями в области моделирования материалов, сворачивания белков, моделирования климата всей Земли, мониторинга загрязнения, распределенного рабочего процесса и управления данными, физики элементарных частиц, информатики медицинских данных и визуализации мозга. [16]
Интернет-центр, основанный в 2005 году при стартовом финансировании Имперского колледжа, подчеркнул важность экономических и социальных факторов при изучении Интернета. Интернет-центр наладил сотрудничество с рядом коммерческих и общественных организаций, включая: Vodafone, BBC, Transport for London, Королевский банк Шотландии, RCA и Музей науки.
Дарлингтон сотрудничал с промышленностью в ряде проектов Совета по технологической стратегии Великобритании и Innovate UK и европейских проектов, применяя идеи в функциональном программном обеспечении и облачных вычислениях, которые разработали ряд инновационных приложений в области обработки мультимедиа, облачных интернет-сервисов и общественного здравоохранения. В этой работе Дарлингтон разработал методологии, сочетающие использование функциональных языков с традиционными программными системами. [17]
Избранные публикации
[ редактировать ]- Система, автоматически улучшающая программы, Дж. Дарлингтон, Р.М. Берстолл, Acta Informatica, Vol. 6, стр. 41–60, 1976.
- Система преобразований для разработки рекурсивных программ. Р. М. Берстолл, Дж. Дарлингтон. Журнал ACM (JACM) 24 (1), 44-67. 1977.
- Соображения по проектированию функционального языка программирования. Р.М. Берстолл. Конференция Infotech State of Art: Революция программного обеспечения, Копенгаген, октябрь 1977 г.
- Hope+ (Найджел Перри, Реализация практических языков функционального программирования, докторская диссертация, Лондонский университет, 1991 г.)
- Проектирование и реализация ALICE — машины параллельного сокращения графов. М. Криппс, Дж. Дарлингтон, Эй Джей Филд, П. Г. Харрисон, М. Дж. Рив. Избранные оттиски по потокам данных и архитектурам сокращения, стр. 300–32, IEEE Computer Society Press, 1987, ISBN 0818607599 .
- Функциональные скелеты для параллельной координации. Дж. Дарлингтон, Ю. Го, Х. В. То и Дж. Ян, в «Параллельной обработке EURO-PAR'95», страницы 55–69. Спрингер-Верлаг, 1995.
- Архитектура Интернета следующего поколения, основанная на веб-сервисах и служебных вычислениях. Дж. Дарлингтон, Дж. Коэн и У. Ли. На Третьем международном семинаре по новым технологиям для GRID следующего поколения (ETNGRID 2006), WETICE-2006, с. 169–174, Манчестер, Великобритания, июнь 2006 г.
- Оплата и переговоры для Grid и Web следующего поколения. Дж. Коэн, Дж. Дарлингтон, В. Ли, Параллелизм и вычисления – практика и опыт, Vol. 20, Страницы: 239-251, 2008, ISSN 1532-0626 . http://dx.doi.org/10.1002/cpe.1196
- Видение Imperial может изменить сеть. А. Бакстер. Financial Times, Цифровой бизнес, 22 ноября 2005 г.
- СООБЩЕНИЕ: запуск научных высокопроизводительных вычислительных приложений в облаке. Дж. Коэн, И. Филлипис, М. Вудбридж и др. Философские труды Королевского общества A - Математические физические и технические науки, Том: 371, 2013, ISSN 1364-503X . два : 10.1098/rsta.2012.0073
- Решение сложных задач в высокопроизводительных вычислительных приложениях. Дж. Дарлингтон, А. Дж. Филд, Л. Хаким, Международный журнал параллельного программирования, стр. 1–19, март 2016 г., ISSN 0885-7458 два : 10.1007/s10766-016-0422-9
Ссылки
[ редактировать ]- ^ Перейти обратно: а б с д «Джон Дарлингтон» .
- ^ «Семантический подход к автоматическому улучшению программ [микроформа]» .
- ^ Дарлингтон, Дж.; Берстолл, РМ (1976). «Система, которая автоматически улучшает программы» . Акта Информатика . 6 : 41–60. дои : 10.1007/BF00263742 . S2CID 787425 .
- ^ «Система преобразования для разработки рекурсивных программ». 1977. CiteSeerX 10.1.1.19.4684 .
- ^ Кобаяши, Наоки; Федюкович, Григорий; Гупта, Аарти (2020). «Преобразования свертывания/развертывания для логики фиксированных точек» . Инструменты и алгоритмы построения и анализа систем . Конспекты лекций по информатике. Том. 12079. стр. 195–214. дои : 10.1007/978-3-030-45237-7_12 . ISBN 978-3-030-45236-0 . S2CID 216028267 .
- ^ Соображения по проектированию функционального языка программирования. Р.М. Берстолл. Конференция Infotech State of Art: Революция программного обеспечения, Копенгаген, октябрь 1977 г.
- ^ Перри, Найджел. «Реализация практических языков функционального программирования», Найджел Перри, докторская диссертация, Лондонский университет, 1991 г. CiteSeerX 10.1.1.628.7053 .
- ^ «Проектирование и реализация ALICE — машины параллельного сокращения графов» .
- ^ Дарлингтон, Джон; Рив, Майк; Райт, Сью (1990). «Декларативные языки и трансформация программ для программирования параллельных систем: практический пример» . Параллелизм: практика и опыт . 2 (3): 149–169. дои : 10.1002/cpe.4330020302 .
- ^ Дарлингтон, Джон; Го, И-кэ; То, Хинг Винг; Ян, Джин (1995). «Функциональные скелеты для параллельной координации» . EURO-PAR '95 Параллельная обработка . Конспекты лекций по информатике. Том. 966. стр. 55–66. дои : 10.1007/BFb0020455 . ISBN 978-3-540-60247-7 .
- ^ «Архитектура Интернета следующего поколения на основе веб-сервисов и служебных вычислений» .
- ^ «Оплата и переговоры для Grid и Web следующего поколения» .
- ^ «Имперское видение может изменить сеть» . Файнэншл Таймс . 22 ноября 2005 г.
- ^ «Открытие Научно-исследовательского центра параллельных вычислений – 1994 год» . Ютуб .
- ^ «Добро пожаловать в Лондонский центр электронных наук (LeSC)» .
- ^ «Проекты» .
- ^ «Решение проблем в высокопроизводительных вычислительных приложениях» .