Ян Бергстра - Jan Bergstra

Йоханнес Альдерт "Янв" Бергстра (1951 г.р.) - голландский ученый-компьютерщик. Его работа сосредоточена на логике и теоретических основах программная инженерия, особенно на формальные методы для системного проектирования. Он наиболее известен как специалист по алгебраическим методам спецификации данных и вычислительных процессов в целом.[нужна цитата ]

биография

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

Бергстра занимал должности в Институте прикладной математики и компьютерных наук Лейденский университет (1976–82), а Centrum Wiskunde & Informatica (CWI) в Амстердаме. В 1985 году он был назначен профессором программирования и программной инженерии в Институте информатики Амстердамский университет и одновременно профессор прикладной логики в Утрехтский университет; такие раздельные позиции не редкость в Нидерландах. Эти два стула он продолжает держать.

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

Он основал КОНКУР, серия международных конференций по теории параллелизма, организовав первые две конференции в Амстердаме в 1990 и 1991 годах. Он является членом нескольких редакционных советов и главным редактором журнала Наука компьютерного программирования и Журнал логического и алгебраического программирования.

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

Он является почетным профессором компьютерных наук в Суонси университет и член Academia Europaea с 2006 года.[1][3]

Работа

О формальных методах

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

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

В академических кругах

Благодаря своей исследовательской и организационной деятельности Бергстра оказал значительное влияние на информатику в Нидерландах. Например, он руководил работой более 40 докторантов, многие из которых стали академиками-компьютерщиками, 12 - профессорами.[нужна цитата ] Он учредил новую учебную программу по информатике в Лейдене в 1976 году и по когнитивному искусственному интеллекту в Утрехтском университете в 1989 году.[1]

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

Бергстра стал членом Королевская Нидерландская академия искусств и наук в 2011.[4]

Публикации

Публикации, подборка:[5]

  • Дж. А. Бергстра, А. Понс и С. А. Смолка (редакторы), Справочник по алгебре процессов, Эльзевир, 2001.
  • Дж. А. Бергстра и М. Э. Лутс, "Алгебра программ для компонентного кода", Формальные аспекты вычислений, 12(1):1–17, 2000.
  • Дж. А. Бергстра и Дж. В. Такер, "Спецификации уравнений, полные системы переписывания термов, а также вычислимые и полувычислимые алгебры", Журнал ACM, 42(6):1194–1230, 1995.
  • Дж. А. Бергстра, Дж. Херинг и П. Клинт, "Модульная алгебра", Журнал ACM, 37(2):335–372, 1990.
  • Дж. А. Бергстра, Дж. Херинг и П. Клинт (редакторы), Алгебраическая спецификация, Эддисон Уэсли, 1989.
  • Берджесс, Марк; Бергстра, янв (5 февраля 2014 г.). Теория обещаний: принципы и применение. Создает пространство. ISBN  978-1495437779.

Рекомендации

  1. ^ а б c Ян А. Бергстра (2009) "Curriculum Vitae Ян Альдерт Бергстра " в uva.nl. 20 октября 2009 г. По состоянию на 30 августа 2013 г.
  2. ^ http://markburgess.org/bio.html
  3. ^ "Ян Альдерт Бергстра". Academia Europaea. Архивировано из оригинал 28 марта 2019 г.
  4. ^ "Ян Бергстра". Королевская Нидерландская академия искусств и наук. Архивировано из оригинал 7 февраля 2016 г.. Получено 7 февраля 2016.
  5. ^ Ян А. Бергстра в DBLP Сервер библиографии Отредактируйте это в Викиданных

внешняя ссылка