Jan Bergstra

Johannes Aldert " Jan " Bergstra (född 1951) är en nederländsk datavetare. Hans arbete har fokuserat på logik och de teoretiska grunderna för mjukvaruteknik , särskilt på formella metoder för systemdesign. Han är mest känd som expert på algebraiska metoder för specifikation av data och beräkningsprocesser i allmänhet.

Biografi

Jan Bergstra föddes 1951 i Rotterdam , son till Tjeerd Bergstra och Johanna Bisschop. Han utbildades vid Montessori Lyceum Rotterdam (gymnasium beta) och studerade sedan matematik vid Utrecht University , med start 1969. Efter en MSc skrev han en doktorsavhandling, disputerade 1976, om rekursionsteori i högre typer, under ledning av Dirk van Dalen .

Bergstra hade tjänster vid Institutet för tillämpad matematik och datavetenskap vid universitetet i Leiden (1976–82) och Centrum Wiskunde & Informatica (CWI) i Amsterdam. 1985 utnämndes han till professor i programmering och mjukvaruteknik vid Informatics Institute vid University of Amsterdam och samtidigt professor i tillämpad logik vid Utrecht University ; sådana delade positioner är inte ovanliga i Nederländerna. Dessa två stolar fortsätter han att hålla.

Han har varit rådgivare för CWI (1985–2004). 1989 arbetade han ett år på Philips Research i Eindhoven som projektledare och fortsatte sedan som konsult där fram till 2002. Medan han var på Philips var han involverad i industriella projekt om konsumentelektronik och medicinsk utrustning.

Han grundade CONCUR , den internationella konferensserien inom Concurrency Theory, genom att organisera de två första konferenserna i Amsterdam 1990 och 1991. Han är medlem i flera redaktioner och är chefredaktör för Science of Computer Programming och Journal of Logic och Algebraisk programmering .

2004 kontaktade Jan Bergstra Mark Burgess från Oslo University College , och letade efter vetenskapligt stöd för en föreslagen ettårig masterkurs vid universitetet i systemadministration. Trots mycket olika bakgrunder delade de en sinneslikhet i sina attityder till vetenskap och forskning. Detta resulterade i att de blev vänner och fortsatte att diskutera och finslipa flera delar av Promise-teorin tillsammans på ömsesidiga besök mellan Norge och Nederländerna.

Han är hedersprofessor i datavetenskap vid Swansea University och medlem av Academia Europaea sedan 2006.

Arbete

Om formella metoder

Bergstras forskning om beräkning har fokuserat på grundläggande begrepp, matematiska teorier och praktiska verktyg. Hans huvudsakliga teoretiska forskningsprogram är:

• en systematisk studie av specifikationsmetoder för abstrakta datatyper med start 1979, med John V. Tucker ;
• uppfinningen, utvecklingen och tillämpningen av processalgebror , särskilt ACP , med start 1984, med Jan Willem Klop , Jos Baeten och andra;
• Modul Algebra med start 1986, tillsammans med Paul Klint och Jan Heering;
• Program Algebra med start 1998, med Marijke Loots.

Utifrån denna teoretiska forskning har han designat olika formella metoder och verktyg. I samarbete med Paul Klint och Jan Heering designade han specifikationsspråket ASF (1984) och det relaterade ToolBus-koordinationsspråket och -systemet (1995). En del av hans arbete har utförts inom ramen för ESPRIT -programmet. Till exempel finansierade mjukvaruprojekten FAST och METEOR början av utvecklingen av processalgebra ACP, och telekommunikationsprojektet SPECS ledde till utvecklingen av specifikationsspråket muCRL. Alla system används fortfarande dagligen för forskningsändamål, medan ASF har använts flitigt i den holländska banksektorn.

I akademin

Genom sin forskning och sin organisationsverksamhet har Bergstra haft stort inflytande på datavetenskap i Nederländerna. Han har till exempel handlet över 40 doktoranders arbete, av vilka många har blivit akademiska datavetare, 12 på professorsnivå. nya datavetenskapliga läroplanen i Leiden 1976 och för kognitiv artificiell intelligens vid Utrecht University

År 2000 blev han direktör för Teaching Institute of Information Sciences vid universitetet i Amsterdam. I denna roll har han varit ansvarig för omarbetningen av alla kurser när bachelor-master-systemet infördes i Nederländerna.

Bergstra blev medlem av Royal Netherlands Academy of Arts and Sciences 2011.

Publikationer

Publikationer, ett urval:

• JA Bergstra, A. Ponse och SA Smolka (redaktörer), The Handbook of Process Algebra , Elsevier , 2001.
• JA Bergstra och ME Loots, "Program Algebra for Component Code", Formal Aspects of Computing , 12(1):1–17, 2000.
• JA Bergstra och JV Tucker , "Ekvationella specifikationer, kompletta termomskrivningssystem och beräkningsbara och semiberäknbara algebras", Journal of the ACM , 42(6):1194–1230, 1995.
• JA Bergstra, J. Heering och P. Klint, "Module Algebra", Journal of the ACM , 37(2):335–372, 1990.
• JA Bergstra, J. Heering och P. Klint (redaktörer), Algebraic Specification , Addison Wesley , 1989.
•   Burgess, Mark ; Bergstra, Jan (5 februari 2014). Löftesteori: principer och tillämpningar . Skapa utrymme. ISBN 978-1495437779 .

externa länkar

• Hemsida vid universitetet i Amsterdam
• Jan Bergstra, Alban Ponse " A Bypass of Cohen's Impossibility Result ", Advances in Grid Computing - EGC 2005, LNCS 3470, sid 1097-1106. Springer-Verlag, 2005