ヤン・ベルグストラ

ヨハネス・アルダート・「ヤン」・ベルクストラ（1951年生まれ）は、オランダのコンピュータ科学者です。彼の研究は、論理とソフトウェア工学の理論的基礎、特にシステム設計の形式手法に重点を置いています。彼は、データと計算プロセス全般の仕様に関する代数的手法の専門家として最もよく知られています。^[要出典]

ヤン・ベルグストラは1951年ロッテルダムで、ティアード・ベルグストラとヨハンナ・ビショップの息子として生まれました。^[1]ロッテルダムのモンテッソーリ学校（ギムナジウムベータ）で教育を受け、 1969年よりユトレヒト大学で数学を学びました。修士号取得後、ディルク・ファン・ダーレンの指導の下、高次型における再帰理論に関する博士論文を執筆し、1976年に審査を受けました。

バーグストラは、ライデン大学応用数学・コンピュータサイエンス研究所（1976～82年）およびアムステルダムのCentrum Wiskunde & Informatica （CWI）に勤務しました。1985年にアムステルダム大学情報科学研究所のプログラミングおよびソフトウェア工学教授に任命され、同時にユトレヒト大学の応用論理学教授にも就任しました。このような兼任はオランダでは珍しいことではありません。彼は現在もこの2つの職に就いています。

彼は CWI の顧問を務めています (1985～2004 年)。1989 年にはアイントホーフェンのPhilips Researchで 1 年間プロジェクト リーダーとして働き、その後 2002 年までコンサルタントとして勤務しました。Philips 在籍中は、民生用電子機器や医療機器に関する産業プロジェクトに携わりました。

彼は並行性理論の国際会議シリーズCONCURを設立し、1990 年と 1991 年にアムステルダムで最初の 2 つの会議を開催しました。彼はいくつかの編集委員会のメンバーであり、 Science of Computer ProgrammingおよびJournal of Logic and Algebraic Programmingの編集長を務めています。

2004年、ヤン・バーグストラはオスロ大学のマーク・バージェスに連絡を取り、同大学でシステム管理の1年間の修士課程を開講する計画について科学的裏付けを求めました。2人は背景が全く異なっていたにもかかわらず、科学と研究に対する姿勢が似ていました。その結果、2人は友人となり、ノルウェーとオランダの相互訪問の際にPromise理論のいくつかの部分について議論し、磨きをかけることになりました。^[2]

彼はスウォンジー大学のコンピュータサイエンスの名誉教授であり、 2006年からはアカデミア・ヨーロッパの会員である。 ^{[1] [3]}

バーグストラの計算に関する研究は、基本的な概念、数学理論、実用的なツールに重点を置いています。彼の主な理論的研究プログラムは次のとおりです。

• 1979年にJohn V. Tuckerと共同で開始した抽象データ型の仕様指定方法の体系的な研究。
• 1984年にJan Willem Klop、Jos Baetenらと共同でプロセス代数、特にACPを発明、開発、応用。
• 1986 年に Paul Klint および Jan Heering と共同でモジュール代数を開始しました。
• 1998 年に Marijke Loots とともにプログラム代数を開始。

この理論的研究に基づいて、彼はさまざまな形式手法とツールを設計しました。Paul Klint および Jan Heering と共同で、仕様言語 ASF (1984 年) と関連する ToolBus 調整言語およびシステム (1995 年) を設計しました。彼の仕事の一部は、ESPRITプログラムの設定で行われました。たとえば、ソフトウェア プロジェクト FAST および METEOR はプロセス代数 ACP の開発の初期に資金を提供し、通信プロジェクト SPECS は仕様言語 muCRL の開発につながりました。すべてのシステムは、現在でも研究目的で日常的に使用されており、ASF はオランダの銀行業界で広く使用されています。

ベルクストラは、研究と組織活動を通じて、オランダのコンピュータサイエンスに多大な影響を与えてきました。例えば、彼は40人以上の博士課程の学生を指導し、その多くが学術的なコンピュータ科学者になり、そのうち12人は教授レベルになりました。^[要出典]彼は1976年にライデンで新しいコンピュータサイエンスのカリキュラムを設定し、1989年にはユトレヒト大学で認知人工知能のカリキュラムを設定しました。^[1]

2000 年にアムステルダム大学の情報科学教育研究所の所長に就任。オランダに学士・修士課程制度が導入された際に、すべてのコースの再設計を担当しました。

ベルグストラは2011年にオランダ王立芸術科学アカデミーの会員となった。^[4]

出版物、抜粋：^[5]

• JA Bergstra、A. Ponse、SA Smolka（編集者）、The Handbook of Process Algebra、Elsevier、2001年。
• JA BergstraとME Loots、「コンポーネントコードのためのプログラム代数」、Formal Aspects of Computing、12(1):1–17、2000年。
• JA BergstraとJV Tucker、「等式仕様、完全な項書き換えシステム、計算可能および半計算可能代数」、 Journal of the ACM、42(6):1194–1230、1995年。
• JA Bergstra、J. Heering、P. Klint、「モジュール代数」、Journal of the ACM、37(2):335–372、1990。
• JA Bergstra、J. Heering、P. Klint（編）、Algebraic Specifications、Addison Wesley、1989年。
• バージェス、マーク、バーグストラ、ヤン（2014年2月5日）。約束理論：原理と応用。Createspace。ISBN 978-1495437779。

• アムステルダム大学のホームページ
• Jan Bergstra、Alban Ponse「Cohen の不可能性結果のバイパス」、Advances in Grid Computing - EGC 2005、LNCS 3470、1097-1106 ページ。Springer-Verlag、2005 年