Йоханнес Альдерт « Ян » Бергстра (родился в 1951 г.) - голландский ученый-компьютерщик. Его работа была сосредоточена на логике и теоретических основах разработки программного обеспечения , особенно на формальных методах проектирования систем. Он наиболее известен как специалист по алгебраическим методам спецификации данных и вычислительных процессов в целом. [ необходима цитата ]
биография
Ян Бергстра родился в 1951 году в Роттердаме , в семье Тьерда Бергстры и Йоханны Бишоп. [1] Он получил образование в Монтессори лицее в Роттердаме (гимназия бета), а затем изучал математику в Утрехтском университете , начиная с 1969 года. После магистра наук он написал докторскую диссертацию, защищенную в 1976 году, по теории рекурсии в высших типах под руководством. от Дирка ван Дален .
Бергстра занимал должности в Институте прикладной математики и информатики Лейденского университета (1976–82) и Centrum Wiskunde & Informatica (CWI) в Амстердаме. В 1985 году он был назначен профессором программирования и разработки программного обеспечения в Институте информатики Амстердамского университета и одновременно профессором прикладной логики в Утрехтском университете ; такие раздельные позиции не редкость в Нидерландах. Эти два стула он продолжает держать.
Он был советником CWI (1985–2004). В 1989 году он год проработал в Philips Research в Эйндховене в качестве руководителя проекта, а затем продолжил работу в качестве консультанта до 2002 года. В Philips он участвовал в промышленных проектах по бытовой электронике и медицинскому оборудованию.
Он основал CONCUR , серию международных конференций по теории параллелизма, организовав первые две конференции в Амстердаме в 1990 и 1991 годах. Он является членом нескольких редакционных советов и является главным редактором журналов Science of Computer Programming и Journal of Logic and Алгебраическое программирование .
В 2004 году Ян Бергстра связался с Марком Берджессом из Университетского колледжа Осло , ища научной поддержки для предлагаемого в Университете одногодичного магистерского курса по системному администрированию. Несмотря на очень разное происхождение, они разделяли схожесть взглядов на науку и исследования. Это привело к тому, что они стали друзьями и продолжили вместе обсуждать и оттачивать несколько частей теории обещания во время взаимных визитов между Норвегией и Нидерландами. [2]
Он является почетным профессором компьютерных наук в Университете Суонси и членом Academia Europaea с 2006 года. [1] [3]
Работа
О формальных методах
Исследования Бергстры в области вычислений сосредоточены на фундаментальных концепциях, математических теориях и практических инструментах. Его основные теоретические исследовательские программы:
- систематическое исследование методов спецификации для абстрактных типов данных, начатое в 1979 году с Джоном В. Такером ;
- изобретение, развитие и применение алгебр процессов , особенно ACP, начиная с 1984 года, с Яном Виллемом Клопом , Йосом Бетеном и другими;
- Модульная алгебра с 1986 года, вместе с Полом Клинтом и Яном Херингом;
- Программа по алгебре началась в 1998 году с Марийке Лутс.
На основе этого теоретического исследования он разработал различные формальные методы и инструменты. В сотрудничестве с Полом Клинтом и Яном Херингом он разработал язык спецификаций ASF (в 1984 г.) и связанный с ним язык и систему координации ToolBus (в 1995 г.). Некоторые из его работ были предприняты в рамках программы ESPRIT . Например, программные проекты FAST и METEOR финансировали начало разработки алгебры процессов ACP, а телекоммуникационный проект SPECS привел к разработке языка спецификаций muCRL. Все системы до сих пор ежедневно используются в исследовательских целях, а ASF широко используется в банковской сфере Нидерландов.
В академических кругах
Благодаря своей исследовательской и организационной деятельности Бергстра оказал значительное влияние на информатику в Нидерландах. Например, он руководил работой более 40 докторантов, многие из которых стали академиками-компьютерщиками, 12 - профессорами. [ необходима цитата ] Он создал новую учебную программу по информатике в Лейдене в 1976 году и по когнитивному искусственному интеллекту в Утрехтском университете в 1989 году [1].
В 2000 году он стал директором Учебного института информационных наук Амстердамского университета. В этой роли он отвечал за переработку всех курсов, когда в Нидерландах была введена система степеней бакалавра и магистра.
Бергстра стал членом Королевской Нидерландской академии искусств и наук в 2011 году [4].
Публикации
Публикации, подборка: [5]
- Дж. А. Бергстра, А. Понсе и С. А. Смолка (редакторы), Справочник по алгебре процессов , Elsevier , 2001.
- Дж. А. Бергстра и М. Е. Лутс, «Алгебра программ для компонентного кода», « Формальные аспекты вычислений» , 12 (1): 1–17, 2000.
- JA Bergstra и JV Tucker , "Спецификации уравнений, полные системы переписывания термов, а также вычислимые и полувычислимые алгебры", Journal of the ACM , 42 (6): 1194–1230, 1995.
- Дж. А. Бергстра, Дж. Херинг и П. Клинт, "Модульная алгебра", Журнал ACM , 37 (2): 335–372, 1990.
- Дж. А. Бергстра, Дж. Херинг и П. Клинт (редакторы), Алгебраическая спецификация , Аддисон Уэсли , 1989.
- Берджесс, Марк ; Бергстра, янв (5 февраля 2014 г.). Теория обещаний: принципы и приложения . Создает пространство. ISBN 978-1495437779.
Рекомендации
- ^ Б с Яном А. Bergstra (2009) " Curriculum Vitae Jan Aldert Bergstra " в uva.nl . 20 октября 2009 г. По состоянию на 30 августа 2013 г.
- ^ http://markburgess.org/bio.html
- ^ "Ян Альдерт Бергстра" . Academia Europaea. Архивировано из оригинала 28 марта 2019 года.
- ^ «Ян Бергстра» . Королевская Нидерландская академия искусств и наук. Архивировано из оригинала 7 февраля 2016 года . Проверено 7 февраля +2016 .
- ^ Ян А. Бергстра насервере библиографии DBLP
Внешние ссылки
- [1] домашняя страница на fnwi.uva.nl
- Ян Бергстра, Альбан Понс « Обход невозможного результата Коэна », «Достижения в грид-вычислениях» - EGC 2005, LNCS 3470, страницы 1097-1106. Springer-Verlag, 2005 г.