ヤン・ベルグストラ

ヨハネス・アルダート・“ヤン”・ベルクストラ（1951年生まれ）は、オランダのコンピュータ科学者です。彼の研究は、論理学とソフトウェア工学の理論的基礎、特にシステム設計のための形式手法に焦点を当てています。彼は、データや計算プロセス全般の仕様記述における代数的手法の専門家として最もよく知られています。

バイオグラフィー

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

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

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

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

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

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

仕事

形式手法について

バーグストラの計算に関する研究は、基礎概念、数学理論、そして実用的なツールに焦点を当てています。彼の主な理論研究プログラムは以下の通りです。

この理論研究に基づき、彼は様々な形式手法とツールを設計してきました。ポール・クリントおよびヤン・ヘーリングと共同で、仕様言語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 Specification、Addison Wesley、1989年。
  • バージェス、マーク、バーグストラ、ヤン（2014年2月5日）『約束理論：原理と応用』 Createspace.ISBN 978-1495437779。

参考文献

  1. ^ a b c Jan A. Bergstra (2009) " Curriculum Vitae Jan Aldert Bergstra " at uva.nl。 2009 年 10 月 20 日。2013 年 8 月 30 日にアクセス
  2. ^ 「マーク・バージェスのウェブサイト」。
  3. ^ "Jan Aldert Bergstra" . Academia Europaea. 2019年3月28日時点のオリジナルよりアーカイブ。
  4. ^ "Jan Bergstra" . オランダ王立芸術科学アカデミー. 2016年2月7日時点のオリジナルよりアーカイブ。 2016年2月7日閲覧。
  5. ^ Jan A. Bergstra、DBLP参考文献サーバーにて
「 https://en.wikipedia.org/w/index.php?title=Jan_Bergstra&oldid=1284371218」より取得