マーティン・グローエ

マーティン・グローエ（1967年生まれ）^[1]は、パラメータ化された複雑性、数理論理学、有限モデル理論、グラフの論理、データベース理論、記述的複雑性理論、グラフニューラルネットワークの研究で知られるドイツの数学者およびコンピュータ科学者です。彼はアーヘン工科大学のコンピュータサイエンスの大学教授であり、同大学の論理と離散システムの理論の教授を務めています。^[2]

グローエは1994年にフライブルク大学で博士号（Dr. rer. nat.）を取得した。博士論文「不動点論理の構造」はハインツ=ディーター・エビングハウスの指導を受けた。^[3]カリフォルニア大学サンタクルーズ校とスタンフォード大学 で博士研究員として研究した後、1998年にフライブルク大学で博士号を取得した^{。[4] 2000年に}イリノイ大学シカゴ校の教授、 2001年にエディンバラ大学の講師、 2003年にベルリン・フンボルト大学の教授となり、2012年にアーヘン工科大学の教授となった。 ^[5]

グローエは、「記述的複雑性、正規化、および定義可能グラフ構造理論」（Lecture Notes in Logic 47、ケンブリッジ大学出版、2017年）の著者である。 ^[6] 2011年、グローエとヨハン・A・マコウスキーは、 2009年1月5日から8日にワシントンDCで開催されたAMS - ASL特別セッション「有限組合せ論におけるモデル理論的手法」の第558回議事録を編集者として出版した。彼はイェルク・フルムとともに「パラメータ化複雑性理論」（Springer、2006年）の共著者である。 ^[7]

• Grohe, Martin (2017年8月17日)。記述的複雑性、正規化、および定義可能なグラフ構造理論。ケンブリッジ大学出版局。doi : 10.1017 /9781139028868。ISBN 978-1-107-01452-7. S2CID  125568998。
• Grohe, Martin; Makowsky, Johann A. (2011).有限組合せ論におけるモデル理論的手法: AMS-ASL 合同特別セッション、2009 年 1 月 5 日～8 日、ワシントン DC。第 558 巻。ワシントン DC: アメリカ数学協会。ISBN 978-0-8218-4943-9。
• フルム、ヨルグ。グローエ、M. (2006)。パラメータ化された複雑さの理論。ベルリン：シュプリンガー。ISBN 978-3-540-29953-0. OCLC  262692167.

グローエは1999年にドイツ研究振興財団からハインツ・マイヤー・ライプニッツ賞を受賞し^[4] 、 2017年には「コンピュータサイエンスの論理、データベース理論、アルゴリズム、計算複雑性への貢献」によりACMフェローに選出された^{[8] 。2022年にはERCアドバンストグラント「対称性と類似性」を受賞した[9]}。

• Google Scholarにインデックスされた Martin Grohe の出版物