АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыСпецпроектыСтать автором
Сменить язык
О РУВИКИ

Бергстра, Ян

Йоханнес Алдерт (Ян) Бергстра (нидерл. Johannes Aldert "Jan" Bergstra; род. 1951[1][2][…]) — нидерландский учёный в области информатики. Известен как эксперт по алгебраическим методам спецификации данных и вычислительных процессов, а также работами по логике и теоретическим основам программной инженерии, в частности формальным методам проектирования систем.

Общие сведения

Биография

Ян Бергстра родился в 1951 году в Роттердаме в семье Тьерда Бергстры и Йоханны Биссхоп[4]. Окончил Монтессори-лицей Роттердама. В 1969 году начал изучать математику в Утрехтском университете. После получения степени магистра защитил в 1976 году докторскую диссертацию по теории рекурсии высших типов под руководством Дирка ван Далена.

Работал в Институте прикладной математики и информатики Лейденского университета (1976—1982) и в Центре математики и информатики (CWI) в Амстердаме. В 1985 году назначен профессором программирования и программной инженерии в Институте информатики Амстердамского университета и одновременно профессором прикладной логики в Утрехтском университете. Он продолжает занимать обе должности.

Был советником CWI (1985—2004). В 1989 году работал руководителем проекта в Philips Research в Эйндховене, затем до 2002 года оставался там консультантом. В Philips участвовал в промышленных проектах по бытовой электронике и медицинскому оборудованию.

Основал международную серию конференций по теории параллелизма CONCUR, организовав первые два мероприятия в Амстердаме в 1990 и 1991 годах. Является членом нескольких редакционных коллегий, а также ответственным редактором журналов Science of Computer Programming и Journal of Logic and Algebraic Programming.

В 2004 году связался с Марком Берджессом из Университетского колледжа Осло для поиска научной поддержки предложенного годичного магистерского курса по системному администрированию. Учёные совместно разработали несколько элементов теории обещаний во время взаимных визитов между Норвегией и Нидерландами[5].

С 2006 года является почётным профессором информатики в Университете Суонси и членом Европейской академии[4][6].

Научная деятельность

Формальные методы

Исследования Бергстры сосредоточены на фундаментальных концепциях, математических теориях и практических инструментах. Основные направления теоретических исследований:

  • систематическое изучение методов спецификации для абстрактных типов данных (с 1979 года, совместно с Джоном Такером);
  • создание, развитие и применение алгебр процессов, в частности ACP (с 1984 года, совместно с Яном Виллемом Клопом, Йосом Батеном и другими);
  • алгебра модулей (с 1986 года, совместно с Паулем Клинтом и Яном Херингом);
  • алгебра программ (с 1998 года, совместно с Марейке Лотс).

На основе этих исследований он разработал различные формальные методы и инструменты. Совместно с Паулем Клинтом и Яном Херингом создал язык спецификаций ASF (1984) и связанный с ним язык координации и систему ToolBus (1995). Часть работ выполнялась в рамках программы ESPRIT. Программные проекты FAST и METEOR профинансировали начальный этап разработки алгебры процессов ACP. Телекоммуникационный проект SPECS привёл к созданию языка спецификаций muCRL. Все системы используются в исследовательских целях, а ASF применяется в банковском секторе Нидерландов.

Академическая деятельность

Бергстра оказал влияние на развитие информатики в Нидерландах. Он руководил работой более 40 аспирантов, многие из которых стали академическими учёными, а 12 получили профессорские звания. Разработал новую учебную программу по информатике в Лейдене (1976) и по когнитивному искусственному интеллекту в Утрехтском университете (1989)[4].

В 2000 году стал директором Учебного института информационных наук Амстердамского университета. На этой должности отвечал за переработку всех курсов при внедрении системы бакалавриата и магистратуры в Нидерландах.

В 2011 году стал членом Королевской академии наук и искусств Нидерландов[7].

Публикации

Избранные публикации:

  • J. A. Bergstra, A. Ponse and S. A. Smolka (editors), The Handbook of Process Algebra, Elsevier, 2001.
  • J. A. Bergstra and M. E. Loots, "Program Algebra for Component Code", Formal Aspects of Computing, 12(1):1–17, 2000.
  • J. A. Bergstra and J. V. Tucker, "Equational specifications, complete term rewriting systems, and computable and semicomputable algebras", Journal of the ACM, 42(6):1194–1230, 1995.
  • J. A. Bergstra, J. Heering and P. Klint, "Module Algebra", Journal of the ACM, 37(2):335–372, 1990.
  • J. A. Bergstra, J. Heering and P. Klint (editors), Algebraic Specification, Addison Wesley, 1989.

Примечания

  1. ↑ 1 2 J.A. Bergstra // Catalogus Professorum Academiae Rheno-Traiectinae
  2. ↑ 1 2 J. A. Bergstra // Чешская национальная авторитетная база данных
  3. ↑ Mathematics Genealogy Project (англ.) — 1997.
  4. ↑ 1 2 3 Jan A. Bergstra (2009) "Curriculum Vitae Jan Aldert Bergstra" at uva.nl. October 20, 2009. Accessed August 30, 2013
  5. ↑ Mark Burgess Website. Дата обращения: 16 июля 2026.
  6. ↑ Jan Aldert Bergstra. Academia Europaea. Дата обращения: 16 июля 2026. Архивировано 28 марта 2019 года.
  7. ↑ Jan Bergstra. Royal Netherlands Academy of Arts and Sciences. Дата обращения: 16 июля 2026. Архивировано 7 февраля 2016 года.

Ссылки

Дополнительно по теме

Категории