ロッド・ダウニー

ロッド・ダウニー
FRSNZ、FNZMS、FACM
生まれる（1957年9月20日）1957年9月20日
職業ウェリントン・ヴィクトリア大学数学教授
知られている計算可能性理論（パラメータ化された複雑さを含む）
受賞歴RSNZヘクターメダル、ラザフォードメダル、ジェームズ・クック研究フェローシップ
学歴
母校モナッシュ大学（博士号 1982年） クイーンズランド大学（理学士 1978年）
博士課程の指導教員ジョン・クロスリー
Webサイトここ

ロドニー・グラハム・ダウニー（1957年9月20日生まれ）[ 1 ]は、ニュージーランドとオーストラリアの数学者、コンピュータ科学者であり、[ 2 ]ニュージーランドのウェリントンにあるビクトリア大学数学統計学部の名誉教授です。 [ 3 ]彼は数理論理学と計算複雑性理論の研究で知られ、特にマイケル・フェローズとともにパラメータ化複雑性の分野を創設したことで知られています。

バイオグラフィー

ダウニーは1978年にクイーンズランド大学で学士号を取得し、その後モナシュ大学大学院に進学し、1982年にジョン・クロスリーの指導の下で博士号を取得した。[ 1 ] [ 3 ] [ 4 ]チザム工科大学、西イリノイ大学、シンガポール国立大学、イリノイ大学アーバナ・シャンペーン校で教鞭と客員教授を務めた後、1986年にニュージーランドのビクトリア大学で講師として赴任した。1991年に講師に昇進し、1995年にビクトリア大学で個人教授となり、2023年に退職した。[ 1 ] [ 2 ]

ダウニーは2001年から2003年までニュージーランド数学会の会長を務めた。[ 1 ] [ 5 ]

出版物

ダウニーは7冊の本の共著者です。

  • パラメータ化された複雑性（マイケル・フェローズとの共著、シュプリンガー、1999年）
  • アルゴリズムのランダム性と複雑性（D. ヒルシュフェルトとの共著、シュプリンガー、2010年）
  • パラメータ化された複雑性の基礎（マイケル・フェローズとの共著、Springer、2013年）
  • 最小弱真理値表次数と計算可能列挙チューリング次数（Keng Meng Ng、David Reed Solomonとの共著、Memoirs American Mathematical Society、Vol. 2184、2020年）
  • チューリング次数の階層（ノーム・グリーンバーグとの共著、Annals of Mathematics Studies No. 206、プリンストン大学出版局、2020年）
  • 計算可能性と複雑性：科学的応用を追求するための基礎とツール（Springer-Verlag Texts in Computer Science、2024年）
  • 計算可能構造理論：統一的アプローチ（シュプリンガー・フェアラーク社、2025年）

ダウニーは、2014年のACMコンピューティングレビューの注目すべき本である「チューリングの遺産」を含む9冊の本の編集または共同編集を行っています。[ 6 ]また、約300の研究論文の著者または共著者でもあります。[ 1 ] [ 7 ]その中には、マイケル・フェローズとカール・アブラハムソンとの、パラメータ化された複雑性の研究の基礎を築いた4つの論文の連続で、引用数が多くなっています。[ 8 ]

賞と栄誉

1990年、ダウニーはニュージーランド王立協会からハミルトン研究賞を受賞した。[ 9 ] 1992年、ダウニーはニュージーランド数学会から「再帰理論、有効代数、複雑性の多くの側面における第一人者となった洞察力と多作な研究」により研究賞を受賞した。[ 10 ]

1994年にニュージーランド科学者協会研究賞を受賞し、1996年にニュージーランド王立協会の会員となった。[ 1 ] [ 11 ] 2006年にはニュージーランドを拠点とする数学者として初めて国際数学者会議で招待講演を行った。

彼はまた、国際論理学・方法論・科学哲学会議やACM計算複雑性会議において招待講演を行っている。2007年には「計算可能性と計算複雑性理論への貢献」によりACMフェローに選出され、ニュージーランドで2人目のACMフェローとなった[ 12 ] [ 13 ]。同年、ニュージーランド数学会フェローにも選出された[ 1 ]。また、2007年には、計算の性質に関する研究でジェームズ・クック研究フェローシップを受賞した[ 14 ]。

2010年、デニス・ヒルシュフェルト、アンドレ・ニース、セバスチャン・テルウィンと行ったランダム性に関する研究により、記号論理協会のショーンフィールド賞（論文部門）を受賞した。[ 15 ] 2011年、ニュージーランド王立協会は「再帰理論、計算複雑性、および数理論理学と組合せ論の他の側面における卓越した、国際的に高く評価されている研究」に対してヘクターメダルを授与した。 [ 16 ] [ 17 ] 2012年、アメリカ数学会のフェローになった。[ 18 ] 2013年、オーストラリア数学会のフェローになった。

2014年、ダウニーは、カーネル化下限に関する研究で、ハンス・ボドレンダー、マイケル・フェローズ、ダニー・ヘルメリン、ランス・フォートナウ、ラフル・サンタナムと共同で、ヨーロッパ理論計算機科学協会からネロード賞を受賞しました。2016年10月、ダウニーは学術的貢献により著名なフンボルト研究賞を受賞しました。デニス・ヒルシュフェルトとともに、ダウニーは記号論理協会から別のショーンフィールド賞を受賞しました。今回は、アルゴリズムのランダム性と複雑性に関する2016年の著書賞です。2018年、ダウニーはイタリアのウディネで開催されたヨーロッパ夏季会議で、アルゴリズムのランダム性と題する記号論理協会のゲーデル講演を行いました。同年、ダウニーはニュージーランド王立協会から「パラメータ化された複雑性の理論の開発とランダム性のアルゴリズム的研究を含む、計算可能性に関する卓越した革命的な研究」に対して授与される最高の栄誉であるラザフォードメダルを受賞した。 [ 19 ]

2022年、ダウニーは過去5年間の研究に対してニュージーランド・フォン・フンボルト協会フェロー研究賞を受賞した。[ 20 ]

2023年、ダウニーはヨーロッパ計算可能性協会からS・バリー・クーパー賞を受賞した。[ 21 ]この賞は2～3年ごとに「優れた成果、画期的で永続的な理論構築、関連する研究コミュニティへの並外れた貢献、またはこれらの組み合わせによって、計算可能性の幅広い理解と基礎研究に貢献した研究者」に授与される。[ 22 ]

2024年、ダウニーはニュージーランド数学会カルマン賞を受賞しました。受賞理由は「2019年から2024年の5暦年以内に発表された、論文、モノグラフ、書籍など、独創的な研究論文1件」です。[ 23 ]この出版物は、ノアム・グリーンバーグと共同執筆し、数学研究年報に掲載されたモノグラフ「チューリング次数の階層」でした。

スコットランドのカントリーダンス

ダウニーはスコットランドのカントリーダンスの考案者として知られており、150以上のダンスと、ロイヤル・スコティッシュ・カントリーダンス協会に採用されている「ローズ・プログレッション」や「ハロー・グッバイ・プーセット」などの斬新な構成を考案しました。[ 24 ]

参考文献

  1. ^ a b c d e f g Curriculum vitae、2012年2月19日閲覧。
  2. ^ a b Whittle, Geoff (2004年8月)、「Centrefold: Rod Downey」(PDF)、ニュージーランド数学会ニュースレター、91。
  3. ^ a b教員プロフィール、ビクトリア大学ウェリントン校、2012年2月19日閲覧。
  4. ^数学系譜プロジェクトのロドニー・グラハム・ダウニー
  5. ^ロッド・ダウニー（2003年4月）「2001～2002年度会長報告」（PDF）、ニュージーランド数学会ニュースレター、87：4～ 6。
  6. ^ 「ACM Computing Reviews Notable Books 2014」。
  7. ^ DBLP におけるDowney のコンピューター サイエンスの出版物の一覧。
  8. ^ Downey, Rod G.; Fellows, Michael R. (1995), "Fixed-parameter tractability and completeness. I. Basic results", SIAM Journal on Computing , 24 (4): 873– 921, CiteSeerX 10.1.1.408.3389 , doi : 10.1137/S0097539792228228 , MR 1342997  .ダウニー, ロッド・G.;フェローズ, マイケル・R. (1995), 「固定パラメータの扱いやすさと完全性。II. Wの完全性について[1]」,理論計算機科学, 141 ( 1– 2): 109– 131, CiteSeerX 10.1.1.158.6771 , doi : 10.1016/0304-3975(94)00097-3 , MR 1323150  ロッド・ダウニー、マイケル・フェローズ（1993）「固定パラメータの扱いやすさと完全性。III. W階層の構造的側面」複雑性理論、ケンブリッジ：ケンブリッジ大学出版局、pp.  191– 225、MR 1255345 アブラハムソン, カール A.; ダウニー, ロドニー G.;フェローズ, マイケル R. (1995)「固定パラメータの扱いやすさと完全性。IV. W[P]とPSPACEの類似体の完全性について」Annals of Pure and Applied Logic、73 (3): 235– 276、doi : 10.1016/0168-0072(94)00034-Z、MR 1336643 。
  9. ^ 「受信者」。
  10. ^受賞歴
  11. ^ニュージーランド王立協会の現フェロー一覧、2012年2月19日閲覧。
  12. ^ ACMフェロー賞の引用、2012年2月19日閲覧。
  13. ^ダウニー教授がACMフェローに就任、ウェリントン・ヴィクトリア大学、2007年12月6日、2012年2月19日閲覧。
  14. ^ 「Search James Cook Fellowship Awards 1996–2017」王立協会Te Apārangi . 2023年10月28日閲覧。
  15. ^ Shoenfield Prize Recipients、 Association for Symbolic Logic、2012年2月19日閲覧。
  16. ^ Hector Medal to Rod Downey、ニュージーランド数学会、2011年11月16日、2012年2月19日閲覧。
  17. ^ニュージーランドのトップ研究者に授与されるメダル、RSNZ、2011年11月17日、2012年2月19日閲覧。
  18. ^アメリカ数学会フェロー一覧、2012年11月10日閲覧。
  19. ^ 2018 ラザフォード メダル: 「計算できません」を解決し、そのランダム シーケンスは本当にランダムですか?
  20. ^ 「ニュージーランド・フォン・フンボルト協会研究賞がロッド・ダウニー教授に授与される | ニュージーランド・フォン・フンボルト・フェロー協会」。
  21. ^ 「2023年S・バリー・クーパー賞がロッド・G・ダウニーに授与される」 2023年3月16日。
  22. ^ 「S. バリー・クーパー賞」。2019年7月18日。
  23. ^ 「ニュージーランド数学協会、カルマン賞受賞者」。
  24. ^ 「ストラススペイ サーバー: 人物 = ロッド ダウニー ダンス」。
「 https://en.wikipedia.org/w/index.php?title=Rod_Downey&oldid=1313085753」より取得