Loading article…
ジャコ・デ・バッカー | |
|---|---|
| 生まれる | ヤコブス・ウィレム・デ・バッカー 1939年3月7日 |
| 死亡 | 2012年12月13日（享年73歳） |
| 職業 | 教授 |
| 学歴 | |
| 母校 | アムステルダム自由大学 |
| 博士課程の指導教員 | アード・ファン・ヴィンガルデン |
| 学術研究 | |
| 規律 | コンピュータサイエンス |
ヤコブス・ウィレム(ジャコ)・デ・バッカー (Jacobus Willem (Jaco) de Bakker、1939 年 3 月 7 日 - 2012 年 12 月 13 日) は、オランダの理論コンピューター科学者であり、アムステルダム自由大学の教授でした。
バイオグラフィー
デ・バッカーは、アムステルダム自由大学とアムステルダム大学で数学を学び、1967年にアード・ファン・ウィーンガーデンの指導の下、論文「プログラミング言語の形式的記述：ALGOL 60 の定義への応用」で博士号を取得しました。1964年以来、彼はアムステルダムのMathematisch Centrum (MC) (1984年からはCentrum Wiskunde & Informatica ) という名の科学者として働いていました。後に彼はコンピューターサイエンス部門の責任者となり、Cluster Software Engineering を率い、2002年からは CWI フェローでした。1973年には自由大学のコンピューターサイエンスの教授にもなり、2002年に同大学の名誉教授となりました。
仕事
コンピュータ科学者として、デ・バッカーはプログラミング言語の数学的意味論（彼が先駆者であった分野）とその証明理論（プログラム検証）に興味を持っていました。彼は 1972 年にヨーロッパ理論計算機科学協会(EATCS)の創設者の 1 人となり、1972 年から 1982 年まで副会長を務め、1988 年からは運営委員会のメンバーでした。
1989年、彼はオランダ王立芸術科学アカデミー（KNAW）の会員に選出された。[1]翌年、彼はヨーロッパアカデミーの会員となった。[2] 2002年、彼はオランダ名誉勲章の騎士に任命された。[3]デ・バッカーは73歳で亡くなった。[4]
参考文献
- ^ 「Jacobus Willem de Bakker」。低地諸国の科学史デジタルウェブセンター。 2023年12月10日閲覧。
- ^ “Jaco de Bakker”. Academia Europaea. 2022年7月6日時点のオリジナルよりアーカイブ。
- ^ “Jaco de Bakker教授のKoninklijke onderscheiding”. Centrum Wiskunde & Informatica。 2002 年 9 月 1 日。
- ^ “CWIフェローのジャコ・デ・バッカーの過剰発言”. Centrum Wiskunde & Informatica。 2013 年 1 月 10 日。