Jan Bergstra - Jan Bergstra
Tento článek obsahuje seznam obecných Reference, ale zůstává z velké části neověřený, protože postrádá dostatečné odpovídající vložené citace.Červen 2011) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
Johannes Aldert "Jan" Bergstra (narozen 1951) je nizozemský počítačový vědec. Jeho práce se zaměřila na logiku a teoretické základy softwarové inženýrství, zejména na formální metody pro návrh systému. On je nejlépe známý jako odborník na algebraické metody pro specifikaci dat a výpočetních procesů obecně.[Citace je zapotřebí ]
Životopis
Jan Bergstra se narodil v roce 1951 v Rotterdam, syn Tjeerda Bergstra a Johanna Bisschop.[1] Byl vzděláván na Montessori Lyceum Rotterdam (gymnázium beta) a poté studoval matematika na Utrechtská univerzita, počínaje rokem 1969. Po magisterském studiu napsal disertační práci obhájenou v roce 1976 o teorii rekurze u vyšších typů, pod vedením Dirk van Dalen.
Bergstra zastával posty na Ústavu aplikované matematiky a informatiky EU University of Leiden (1976–82) a Centrum Wiskunde & Informatica (CWI) v Amsterdamu. V roce 1985 byl jmenován profesorem programování a softwarového inženýrství na Ústavu informatiky VŠCHT University of Amsterdam a zároveň profesor aplikované logiky na Utrechtská univerzita; takové rozdělené pozice nejsou v Nizozemsku neobvyklé. Tyto dvě židle stále drží.
Byl poradcem CWI (1985–2004). V roce 1989 pracoval rok v Výzkum společnosti Philips v Eindhovenu jako vedoucí projektu a následně zde působil jako konzultant až do roku 2002. Ve společnosti Philips se podílel na průmyslových projektech spotřební elektroniky a lékařského vybavení.
On našel KONCUR, série mezinárodních konferencí v Teorii souběžnosti, uspořádáním prvních dvou konferencí v Amsterdamu v letech 1990 a 1991. Je členem několika redakčních rad a je šéfredaktorem Věda o počítačovém programování a Journal of logiky a algebraického programování.
V roce 2004 kontaktoval Jan Bergstra Mark Burgess z Oslo University College, hledající vědeckou podporu pro navrhovaný jednoroční magisterský kurz na univerzitě v oboru správy systémů. Navzdory velmi odlišnému prostředí sdíleli podobu mysli ve svých postojích k vědě a výzkumu. To vedlo k tomu, že se stali přáteli a pokračovali v diskusi a zdokonalování několika částí Slibná teorie společně na vzájemných návštěvách Norska a Nizozemska. [2]
Je čestným profesorem informatiky na Swansea University a člen Academia Europaea od roku 2006.[1][3]
Práce
O formálních metodách
Výzkum společnosti Bergstra v oblasti výpočtů se zaměřil na základní pojmy, matematické teorie a praktické nástroje. Jeho hlavní teoretické výzkumné programy jsou:
- systematické studium specifikačních metod pro abstraktní datové typy počínaje rokem 1979, s John V. Tucker;
- vynález, vývoj a aplikace zpracovat algebry, zvláště AKT počínaje rokem 1984, s Jan Willem Klop, Jos Baeten a další;
- Modul Algebra od roku 1986, společně s Paulem Klintem a Janem Heeringem;
- Program Algebra začíná v roce 1998 s Marijke Loots.
Na základě tohoto teoretického výzkumu navrhl různé formální metody a nástroje. Ve spolupráci s Paulem Klintem a Janem Heeringem navrhl specifikační jazyk ASF (v roce 1984) a související koordinační jazyk a systém ToolBus (v roce 1995). Některé z jeho prací byly podniknuty v prostředí ESPRIT program. Například softwarové projekty FAST a METEOR financovaly počátky vývoje procesní algebry ACP a telekomunikační projekt SPECS vedl k vývoji specifikačního jazyka muCRL. Všechny systémy jsou stále denně používány pro výzkumné účely, zatímco ASF byl široce používán v nizozemském bankovním průmyslu.
Na akademické půdě
Prostřednictvím svých výzkumných a organizačních aktivit měl Bergstra značný vliv na počítačovou vědu v Nizozemsku. Například dohlížel na práci více než 40 doktorandů, z nichž mnozí se stali akademickými počítačovými vědci, 12 na profesorské úrovni.[Citace je zapotřebí ] V roce 1976 vytvořil nový učební plán pro počítačové vědy v Leidenu a v roce 1989 pro kognitivní umělou inteligenci na univerzitě v Utrechtu.[1]
V roce 2000 se stal ředitelem Fakulty informačních věd na Amsterdamské univerzitě. V této roli byl zodpovědný za redesign všech kurzů, když byl do Nizozemska zaveden systém bakalářských a magisterských studijních programů.
Bergstra se stala členem Nizozemská královská akademie umění a věd v roce 2011.[4]
Publikace
Publikace, výběr:[5]
- J. A. Bergstra, A. Ponse a S. A. Smolka (redaktoři), Příručka procesní algebry, Elsevier, 2001.
- J. A. Bergstra a M. E. Loots, „Programová algebra pro kód komponenty“, Formální aspekty práce na počítači, 12(1):1–17, 2000.
- J. A. Bergstra a J. V. Tucker, "Rovníkové specifikace, kompletní systémy přepisování termínů a vypočítatelné a polopočítatelné algebry", Deník ACM, 42(6):1194–1230, 1995.
- J. A. Bergstra, J. Heering a P. Klint, „Modulární algebra“, Deník ACM, 37(2):335–372, 1990.
- J. A. Bergstra, J. Heering a P. Klint (redaktoři), Algebraická specifikace, Addison Wesley, 1989.
- Burgess, Marku; Bergstra, Jan (5. února 2014). Teorie slibů: Principy a aplikace. Createspace. ISBN 978-1495437779.
Reference
- ^ A b C Jan A. Bergstra (2009) "Curriculum Vitae Jan Aldert Bergstra " na uva.nl. 20. října 2009. Přístup k 30. srpnu 2013
- ^ http://markburgess.org/bio.html
- ^ „Jan Aldert Bergstra“. Academia Europaea. Archivovány od originál dne 28. března 2019.
- ^ „Jan Bergstra“. Nizozemská královská akademie umění a věd. Archivovány od originál dne 7. února 2016. Citováno 7. února 2016.
- ^ Jan A. Bergstra na DBLP Bibliografický server
externí odkazy
- [1] domovská stránka na adrese fnwi.uva.nl
- Jan Bergstra, Alban Ponse "Obchvat výsledku Cohenovy nemožnosti ", Advances in Grid Computing - EGC 2005, LNCS 3470, strany 1097-1106. Springer-Verlag, 2005