ヨハン・マコウスキー

ヨハン・A・マコウスキー
生まれる	( 1948-03-12 )1948年3月12日（76歳） ブダペスト、ハンガリー
国籍	スイス
母校	スイス連邦工科大学
知られている	モデル理論、データベース理論、論理プログラミング、グラフアルゴリズム、グラフ多項式の研究
科学者としてのキャリア
フィールド	数理論理学、コンピュータサイエンス
機関	イスラエル工科大学
博士課程の指導教員	エルンスト・シュペッカー、ハンス・ロイヒリ

ヨハン・ヤーノシュ・A・マコウスキー（1948年3月12日生まれ）はハンガリー生まれの帰化スイス数学者で、数理論理学、コンピュータサイエンスと組合せ論の論理的基礎を研究している。1967年から1973年までETHチューリッヒで学んだ。チューリッヒではエルンスト・スペッカーとハンス・ロイクリ^[1]に数理論理学を学び（1971年に数学と物理学のディプロマ、1974年に数学の理学博士号を取得）、ベノ・エックマン（位相幾何学と幾何学）とフォルカー・シュトラッセン（アルゴリズム）に師事し、ワルシャワではアンジェイ・モストフスキとヴィテク・マレクに師事し、1972年にはワルシャワに交換留学生として滞在した。マコウスキーは、ワルシャワ（ポーランド）のバナッハセンター、スタンフォード大学（米国）、サイモンフレーザー大学（カナダ）、フィレンツェ大学（イタリア）、 MIT（米国）、ローザンヌ大学、チューリッヒ工科大学（スイス）で客員教授を務めた。ベルリン自由大学とイスラエル工科大学（イスラエル、ハイファ）では常勤教授を務めた。 ^[2]

彼のさまざまな貢献の中には以下のものがあります。

• モデル理論では、圏論における2つの未解決問題の解決と、さまざまな補間およびコンパクト性特性を持つ論理の研究（一部はサハロン・シェラおよびジョナサン・スタヴィと共同）。
• データベース理論では、データベースの依存性の結果問題に関する最初の決定不能性の結果（ Ashok ChandraおよびHarry Lewisと共著）、データベースのエンティティ・リレーションシップ・モデルとリレーショナル・モデルを統合する研究（ Victor Markowitzと共著）、およびボイス・コッド正規形に関する研究（EV Ravve と共著）。
• 論理プログラミングにおけるホーン公式とその複雑性に関する基礎研究（一部はB. マールおよびA. イタイと共同）
• グラフアルゴリズムでは、モデル理論を介してツリー幅とクリーク幅への統一的なアプローチを採用し、グラフ多項式の一般理論とさまざまな論理形式におけるその定義可能性を導きました（I. Averbouch、 Bruno Courcelle、B. Godlin、T. Kotek、U. Rotics、Boris Zilberと一部共同）。

マコウスキーは1992年にヨーロッパコンピュータサイエンス論理学会の創設メンバーとなり、副会長（2002～2004年）、会長（2004～2009年）を務め、2014年までEACSLの執行委員会のメンバーでした。^[3]会長在任中、彼はコンピュータサイエンス論理学の優れた博士論文にEACSLアッカーマン賞を創設しました。2008年には、マコウスキーの60歳の誕生日を記念したイベントがEACSLの年次総会と共催されました。^[4]

2016年よりテクニオン大学コンピュータサイエンス学部の名誉教授として研究、教育、大学院生の指導を続けている。

• 公式サイト
• DBLP書誌サーバーの Johann A. Makowsky