ジャック・コーエンは、ブランダイス大学コンピュータサイエンスおよびヴォレン国立複雑系センターの名誉教授です。同大学では、コンピュータサイエンスのTJX/フェルドバーグ教授を務めました。[1] アルゴリズム、構文解析とコンパイル、メモリ管理、論理および制約論理プログラミング、並列処理の研究を行ってきました。コーエンは、学部生や大学院生と共同で、多数の論文を発表しています。
現代コンピュータサイエンスの多くの側面の先駆者であるコーエン氏の仕事には、ブランダイス大学、ブラウン大学、MIT、ウェルズリー大学、フランスのマルセイユ、グルノーブル、ナンシーの各都市にある大学 など、多くの高等教育機関で指導および実施された実験、教育、研究が含まれます。
1997年、論理プログラミング協会はコーエンを「論理プログラミングの創始者」15人のうちの1人として認定した。[2]
バイオグラフィー
ベロオリゾンテでは、コーエンはミナスジェラエス州立大学工学部に通いました。彼は土木工学の学位を取得し、過去数年間で最優秀の成績を収めたことでメダルを獲得しました。卒業後間もなく、コーエンは米国の大学院で研究を続けるためにブラジル政府奨学金を授与されました。
当時、コーエンは構造エンジニアになることを決意し、1950年代半ばにフロリダ大学ゲインズビル校の修士課程に入学しました。
コーエンはイリノイ大学アーバナ・シャンペーン校で大学院研究を続け、構造設計の博士号を取得しました。博士論文は、薄肉プレートで作られた座屈柱の形状を定義するフーリエ級数係数を決定するために、レイリー・リッツ法を使用したエネルギー最小化に関するものでした。この特定のトピックにより、コーエンはアセンブリ言語プログラミングと、エネルギー最小化プロセスから生じる非線形方程式のシステムの解法について多くのことを学びました。
ボストンでの長いキャリアの中で、コーエンはブランダイス大学哲学部の同僚であるジャン・ファン・ヘイエノールトと密接に交流し、彼を通じてコーエンは数理論理学への情熱を育まれました。
初期のキャリア
イリノイ大学卒業後、コーエンはブラジルに戻り、初期の電子計算機であるバローズ 205でプログラミングを学んだ。1960 年代初頭、コーエンはパリの Bull コンピュータ社 ( Groupe Bullとしても知られる) で夏季の職を得て、オペレーションズ リサーチ グループに配属され、Algol 60でプログラミングを行った。コーエンはグルノーブル大学応用数学研究所のコンパイラ グループの研究者として参加するよう招かれ、フランス国立研究センター ( CNRS )のメンバーとして採用された。[要出典]
コンパイラ グループのメンバーとして、コーエン氏とその同僚は、あらゆる種類のプログラム、特に再帰的なプログラムを書いて、開発中のコンパイラをテストするよう奨励されました。コーエン氏が構文指向コンパイラに興味を持つようになったのは、グルノーブルでのことでした。当時、Algol 60の後継を設計していた IFIP グループの会議に参加できたのは、またとない機会でした。
グルノーブル Algol 60 を使用して、コーエンは、 Algol でのLisp埋め込み、いくつかの解析アルゴリズム、および Algol で記述された小型 Algol コンパイラを含む多くのプログラムの開発を開始しました。グルノーブルでのコーエンの博士論文は、コンパイラを記述するための言語に関するものでした。
その後のキャリア
フランス滞在後、コーエン氏はMITの土木工学部の研究職に就くことを提案され、1年間その職に就きました。1968年、コーエン氏はブランダイス大学から学術職に就くことを提案され、それ以来同大学と関わり続けています。
ブランダイス大学コンピュータサイエンス学部の創設者として、コーエンは1980年代初頭から約12年間学部長を務めた。1984年、コーエンはブランダイス大学で他のソフトウェアプログラムの効率を測定するソフトウェアを開発するチームを指揮した。[3]学部長在任中、彼はNSFから並列アルゴリズムの研究のために与えられたCISE助成金まで、多くの助成金を学部にもたらした。
コーエンの長い学術的キャリアにおけるハイライトとしては、ブラウン大学とMITで数年間コンパイラーのコースを教えるよう招かれたこと、フェルドバーグ家から彼らの企業(Zayre、後にTJMaxx )との提携によりコンピューターサイエンスの教授職を授与されたこと、コンピューターサイエンス部門の学部長を13年間務めたこと、そして最後に最も権威のある専門誌の1つであるCommunications of the ACMの編集長に任命され、4年間その職を務めたことなどが挙げられます。
参考文献
- ^ “Jacques Cohen”.ブランダイス大学. 2015年10月10日時点のオリジナルよりアーカイブ。2016年5月4日閲覧。
- ^ 「ALP Awards」。Association of Logic Programming。2013年。2013年4月13日時点のオリジナルよりアーカイブ。2016年5月4日閲覧。
- ^ Tom Shea (1984年3月19日)、「News Briefs」、Infoworld、第6巻第12号、InfoWorld Media Group、Inc.、p. 27、ISSN 0199-6649 、 2016年5月4日閲覧
外部リンク
- http://jacquescohen.com.br
