Jan Bergstra

Johannes Aldert „ Jan ” Bergstra (ur. 1951) to holenderski informatyk. Jego praca koncentrowała się na logice i teoretycznych podstawach inżynierii oprogramowania , zwłaszcza na formalnych metodach projektowania systemów. Najbardziej znany jest jako ekspert w dziedzinie algebraicznych metod specyfikacji danych i ogólnie procesów obliczeniowych.

Biografia

Jan Bergstra urodził się w 1951 roku w Rotterdamie jako syn Tjeerda Bergstry i Johanny Bisschop. Uczył się w Montessori Lyceum Rotterdam (gymnasium beta), a następnie studiował matematykę na Uniwersytecie w Utrechcie , począwszy od 1969 roku. Po uzyskaniu tytułu magistra napisał pracę doktorską, którą obronił w 1976 roku, na temat teorii rekurencji w wyższych typach, pod kierunkiem Dirka vana Dalen .

Bergstra zajmował stanowiska w Instytucie Matematyki Stosowanej i Informatyki Uniwersytetu w Leiden (1976–82) oraz w Centrum Wiskunde & Informatica (CWI) w Amsterdamie. W 1985 roku został mianowany profesorem programowania i inżynierii oprogramowania w Instytucie Informatyki Uniwersytetu w Amsterdamie i jednocześnie profesorem logiki stosowanej na Uniwersytecie w Utrechcie ; takie podzielone stanowiska nie są rzadkością w Holandii. Te dwa krzesła nadal trzyma.

Był doradcą CWI (1985-2004). W 1989 roku pracował przez rok w firmie Philips Research w Eindhoven jako lider projektu, a następnie pracował tam jako konsultant do 2002 roku. W firmie Philips był zaangażowany w projekty przemysłowe dotyczące elektroniki użytkowej i sprzętu medycznego.

Założył CONCUR , międzynarodową serię konferencji poświęconych teorii współbieżności, organizując dwie pierwsze konferencje w Amsterdamie w latach 1990 i 1991. Jest członkiem kilku rad redakcyjnych i redaktorem naczelnym Science of Computer Programming oraz Journal of Logic and Programowanie algebraiczne .

W 2004 roku Jan Bergstra skontaktował się z Markiem Burgessem z Oslo University College w poszukiwaniu wsparcia naukowego dla proponowanego rocznego kursu magisterskiego na uniwersytecie w zakresie administracji systemami. Pomimo bardzo różnych środowisk łączyło ich podobieństwo w podejściu do nauki i badań. Spowodowało to, że zostali przyjaciółmi i wspólnie omawiali i doskonalili kilka części teorii Obietnicy podczas wzajemnych wizyt między Norwegią a Holandią.

Jest honorowym profesorem informatyki na Uniwersytecie Swansea i członkiem Academia Europaea od 2006 roku.

Praca

O metodach formalnych

Badania Bergstry dotyczące obliczeń koncentrowały się na podstawowych pojęciach, teoriach matematycznych i praktycznych narzędziach. Jego główne teoretyczne programy badawcze to:

• systematyczne badanie metod specyfikacji abstrakcyjnych typów danych, począwszy od 1979 r., wraz z Johnem V. Tuckerem ;
• wynalezienie, rozwój i zastosowanie algebr procesowych , zwłaszcza ACP , począwszy od 1984 r., wraz z Janem Willemem Klopem , Josem Baetenem i innymi;
• Moduł Algebra od 1986 r. razem z Paulem Klintem i Janem Heeringiem;
• Program Algebra począwszy od 1998 roku, z Marijke Loots.

Opierając się na tych badaniach teoretycznych, zaprojektował różne formalne metody i narzędzia. We współpracy z Paulem Klintem i Janem Heeringiem zaprojektował język specyfikacji ASF (w 1984) oraz związany z nim język i system koordynacji ToolBus (w 1995). Niektóre z jego prac zostały podjęte w ramach ESPRIT program. Na przykład projekty oprogramowania FAST i METEOR sfinansowały początki rozwoju algebry procesów ACP, a projekt telekomunikacyjny SPECS doprowadził do rozwoju języka specyfikacji muCRL. Wszystkie systemy są nadal w codziennym użyciu do celów badawczych, podczas gdy ASF jest szeroko stosowany w holenderskim sektorze bankowym.

w środowisku akademickim

Poprzez swoją działalność badawczą i organizacyjną Bergstra wywarł znaczący wpływ na informatykę w Holandii. Np. nadzorował pracę ponad 40 doktorantów, z których wielu zostało informatykami akademickimi, 12 na poziomie profesorskim. W 1976 roku stworzył nowy program nauczania informatyki w Lejdzie, a w 1989 roku kognitywną sztuczną inteligencję na Uniwersytecie w Utrechcie.

W 2000 roku został dyrektorem Instytutu Nauczania Nauk Informacyjnych na Uniwersytecie w Amsterdamie. W tej roli był odpowiedzialny za przeprojektowanie wszystkich kierunków, gdy w Holandii wprowadzono system stopni licencjackich i magisterskich.

Bergstra został członkiem Królewskiej Holenderskiej Akademii Sztuki i Nauki w 2011 roku.

Publikacje

Publikacje, wybór:

• JA Bergstra, A. Ponse i SA Smolka (redaktorzy), The Handbook of Process Algebra , Elsevier , 2001.
• JA Bergstra i ME Loots, „Algebra programu dla kodu komponentów”, Formalne aspekty informatyki , 12 (1): 1–17, 2000.
• JA Bergstra i JV Tucker , „Specyfikacje równań, kompletne systemy przepisywania terminów oraz algebry obliczeniowe i półobliczalne”, Journal of the ACM , 42 (6): 1194–1230, 1995.
• JA Bergstra, J. Heering i P. Klint, „Algebra modułów”, Journal of the ACM , 37 (2): 335–372, 1990.
• JA Bergstra, J. Heering i P. Klint (redaktorzy), Specyfikacja algebraiczna , Addison Wesley , 1989.
•   Burgess, Marek ; Bergstra, Jan (5 lutego 2014). Teoria obietnicy: zasady i zastosowania . Utwórzprzestrzeń. ISBN 978-1495437779 .

Linki zewnętrzne

• Strona główna na Uniwersytecie w Amsterdamie
• Jan Bergstra, Alban Ponse „ A Bypass of Cohen's Impossibility Result ”, Advances in Grid Computing - EGC 2005, LNCS 3470, strony 1097-1106. Springer-Verlag, 2005