WikiDer > Ян Бергстра

Эта статья включает в себя список общих Рекомендации, но он остается в основном непроверенным, потому что ему не хватает соответствующих встроенные цитаты. Пожалуйста, помогите улучшать эта статья введение более точные цитаты. (Июнь 2011 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

Йоханнес Альдерт "Янв" Бергстра (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]

Работа

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

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

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

На основе этого теоретического исследования он разработал различные формальные методы и инструменты. В сотрудничестве с Полом Клинтом и Яном Херингом он разработал язык спецификаций 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] домашняя страница на fnwi.uva.nl
• Ян Бергстра, Альбан Понсе "Обход невозможности результата Коэна", Достижения в сетевых вычислениях - EGC 2005, LNCS 3470, страницы 1097-1106. Springer-Verlag, 2005