Бергстра, Ян

Материал из Циклопедии
Перейти к навигации Перейти к поиску

Бергстра, Ян












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

Биография[править]

Ян Бергстра родился в 1951 году в Роттердаме в семье Тьерда Бергстры и Йоханны Биссхоп[1]. Окончил Монтессори-лицей Роттердама. В 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 году связался с Марком Берджессом из Университетского колледжа Осло для поиска научной поддержки предложенного годичного магистерского курса по системному администрированию. Учёные совместно разработали несколько элементов теории обещаний во время взаимных визитов между Норвегией и Нидерландами[2].

С 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].

Публикации[править]

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

  • 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,0 1,1 1,2 Jan A. Bergstra (2009) "Curriculum Vitae Jan Aldert Bergstra" at uva.nl. October 20, 2009. Accessed August 30, 2013
  2. ↑ Mark Burgess Website. Проверено 16 июля 2026.
  3. ↑ Jan Aldert Bergstra. Academia Europaea. Архивировано из первоисточника 28 марта 2019. Проверено 16 июля 2026.
  4. ↑ Jan Bergstra. Royal Netherlands Academy of Arts and Sciences. Архивировано из первоисточника 7 февраля 2016. Проверено 16 июля 2026.

Ссылки[править]

Рувики

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Бергстра, Ян», расположенная по адресу:

—https://ru.ruwiki.ru/wiki/Бергстра,_Ян

Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий.

Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».

Источник — http://cyclowiki.org/w/index.php?title=Бергстра,_Ян&oldid=2702903