Loading article…
ジャン・アンリ・ガリエ（1949年生まれ）は、ペンシルベニア大学の計算論理学の研究者であり、同大学のコンピュータ情報科学科と数学科に所属している。
ガリエは1949年1月5日にフランスのナンシーで生まれ、フランスとアメリカの二重国籍を持っている。 1966年にセーヴル高等学校でバカロレアを取得し、 1972年に国立土木学校で土木工学の学位を取得した。[ 1 ] その後、カリフォルニア大学ロサンゼルス校に進学し、シーラ・グレイバックとエミリー・パーリンスキー・フリードマンの共同指導の下、1978年にコンピュータサイエンスの博士号を取得した。博士論文のタイトルは「決定論的および非決定論的再帰プログラムのクラスの意味論と正当性」であった。[ 1 ] [ 2 ]カリフォルニア大学サンタバーバラ校 での博士研究員研究の後、1978年にペンシルベニア大学コンピュータ情報科学科に加わった。ペンシルベニア大学では、1990年に正教授に昇進し、1994年に数学科の兼任教授となり、2001年から2004年までフランス文化技術研究所の所長を務めた。[ 1 ]
ガリエの最も引用されている研究論文は、彼の学生であるウィリアム・F・ダウリングとの共著で、ホーン充足可能性問題に対する線形時間アルゴリズムを示している。[DG84]これはブール充足可能性問題 の変種であり、入力は各節につき最大1つの正のリテラルを持つ連言標準形のブール式であり、目標は式全体を真にするために式の変数に真理値を割り当てることである。ホーン充足可能性問題を解くことは、Prologプログラミング言語の中心的な計算パラダイムである。[ 3 ]
ガリエはまた、計算論理学[G86] 、計算幾何学[G99] [G00] 、低次元トポロジー[GX13] 、離散数学[G11]に関する5冊の著書も執筆している。