カーステン・ルンド

カーステン・ルンド
カーステン・ルンド
生まれる	1963年7月1日（61歳）; デンマーク、オーフス
国籍	デンマーク語
母校	オーフス大学; シカゴ大学
受賞歴	ゲーデル賞(2001)
	科学者としてのキャリア
フィールド	理論計算機科学
機関	AT&T研究所
博士課程の指導教員	ランス・フォートナウ; ラースロー・ババイ; ジョアン・ボヤール;

カーステン・ルンド（1963年7月1日生まれ）はデンマーク生まれの理論計算機科学者であり、現在はアメリカ合衆国ニュージャージー州ベッドミンスターのAT&T研究所に勤務している。 ^[1]

ルンド氏はデンマークのオーフス生まれで、1988年にオーフス大学で「カンディダット」学位を取得し、シカゴ大学でコンピュータサイエンスの博士号を取得しました。彼の論文「The Power of Interaction」は、 ACM の「優秀論文」に選ばれました。

ルンドは、1990年のコンピュータサイエンスの基礎に関するシンポジウムで、 PSPACEやNEXPTIMEなどの複雑性クラスを対話型証明システムの観点から特徴付ける5つの競合論文のうち2つの共著者でした。^[2]^[3]^{[4]この研究は、}ランス・フォートナウとラースロー・ババイの指導の下、シカゴ大学で提出した1991年の博士論文の一部となり、^{[5] 1991年の}ACM博士論文賞の準優勝となりました。 ^[6]

彼はまた、サンジーヴ・アローラ、マドゥ・スーダン、ラジーヴ・モトワニ、マリオ・セゲディとの共同研究でも知られており、 NP困難問題に対する確率的に検証可能な証明の存在を発見し、それを用いて近似問題の困難性を証明した。^[7]^[8] 2001年に彼と共著者はこれらの発見に対する貢献によりゲーデル賞を受賞した。 ^[9]

最近ではインターネットトラフィックエンジニアリングに関する引用数の多い論文を発表している。^[10]^[11]

彼は1991年8月からAT&T研究所に勤務している。^[12]

参考文献

^ AT&T の Lund のホームページ。
^ コラタ、ジーナ（1990 年 6 月 26 日）「数学は狂乱の中で電子メールの時代に入る」ニューヨークタイムズ。
^ ルンド、カーステン; フォートナウ、ランス; カーロフ、ハワード J.;ニサン、ノアム(1990)、「対話型証明システムのための代数的手法」、第 31 回コンピュータサイエンスの基礎に関する年次シンポジウムの講演論文集、pp. 2–10、doi :10.1109/FSCS.1990.89518、ISBN 978-0-8186-2082-9、S2CID 32614901後にJACM（1991年）に掲載、doi :10.1145/146585.146605。
^ Babai, László; Fortnow, Lance; Lund, Carsten (1990)、「非決定性指数時間には2つの証明者対話型プロトコルがある」、Proc. 31st Annual Symposium on Foundations of Computer Science、pp. 16–25、CiteSeerX 10.1.1.130.9311、doi :10.1109/FSCS.1990.89520、ISBN 978-0-8186-2082-9、S2CID 38429596後にComputational Complexity誌（1991年、 doi :10.1007/BF01200056）に掲載されました。
^ 数学系譜プロジェクトのCartsten Lund 。
^ コッペス、スティーブ（2000年5月11日）「博士号取得者がコンピュータサイエンス分野で最高賞を受賞」シカゴ大学クロニクル、19（16）。
^ コラタ、ジーナ（1992年4月7日）「長い数学の証明に新たな近道が見つかる」ニューヨークタイムズ。
^ アローラ、サンジーブ;ルンド、カールステン。モトワニ、ラジーブ。スーダン、マドゥ。 Szegedy、Mario (1998)、「証明の検証と近似問題の難しさ」、Journal of the ACM、45 (3): 501–555、doi :10.1145/278298.278306、S2CID 85615421992 年のコンピュータサイエンスの基礎に関するシンポジウムで最初に発表されました( doi :10.1109/SFCS.1992.267823)。
^ パーベリー、イアン (2001)、2001 ゲーデル賞、ACM SIGACT 。
^ Feldmann, A.; Greenberg, A.; Lund, C.; Reingold, N.; Rexford, J. (2000)、「NetScope: IP ネットワークのトラフィックエンジニアリング」、IEEE Network、14 (2): 11–19、CiteSeerX 10.1.1.42.2801、doi :10.1109/65.826367 。
^ Feldmann, A.; Greenberg, A.; Lund, C.; Reingold, N.; Rexford, J .; True, F. (2001)、「運用 IP ネットワークのトラフィック需要の導出: 方法論と経験」、IEEE/ACM Transactions on Networking、9 (3): 265–279、CiteSeerX 10.1.1.43.3549、doi :10.1109/90.929850、S2CID 32689094 。
^ Keshav, S.; Lund, C.; Phillips, S.; Reingold, N.; Saran, H. (1995). 「IP-over-ATM ネットワークにおける仮想回線保持時間ポリシーの実証的評価」. IEEE Journal on Selected Areas in Communications . 13 (8): 1371–1382. doi :10.1109/49.464709.

外部リンク

AT&T Labs ホームページ

[1] AT&T の Lund のホームページ。

[2] コラタ、ジーナ（1990 年 6 月 26 日）「数学は狂乱の中で電子メールの時代に入る」ニューヨークタイムズ。

[3] ルンド、カーステン; フォートナウ、ランス; カーロフ、ハワード J.;ニサン、ノアム(1990)、「対話型証明システムのための代数的手法」、第 31 回コンピュータサイエンスの基礎に関する年次シンポジウムの講演論文集、pp. 2–10、doi :10.1109/FSCS.1990.89518、ISBN 978-0-8186-2082-9、S2CID 32614901後にJACM（1991年）に掲載、doi :10.1145/146585.146605。

[4] Babai, László; Fortnow, Lance; Lund, Carsten (1990)、「非決定性指数時間には2つの証明者対話型プロトコルがある」、Proc. 31st Annual Symposium on Foundations of Computer Science、pp. 16–25、CiteSeerX 10.1.1.130.9311、doi :10.1109/FSCS.1990.89520、ISBN 978-0-8186-2082-9、S2CID 38429596後にComputational Complexity誌（1991年、 doi :10.1007/BF01200056）に掲載されました。

[5] 数学系譜プロジェクトのCartsten Lund 。

[6] コッペス、スティーブ（2000年5月11日）「博士号取得者がコンピュータサイエンス分野で最高賞を受賞」シカゴ大学クロニクル、19（16）。

[7] コラタ、ジーナ（1992年4月7日）「長い数学の証明に新たな近道が見つかる」ニューヨークタイムズ。

[8] アローラ、サンジーブ;ルンド、カールステン。モトワニ、ラジーブ。スーダン、マドゥ。 Szegedy、Mario (1998)、「証明の検証と近似問題の難しさ」、Journal of the ACM、45 (3): 501–555、doi :10.1145/278298.278306、S2CID 85615421992 年のコンピュータサイエンスの基礎に関するシンポジウムで最初に発表されました( doi :10.1109/SFCS.1992.267823)。

[9] パーベリー、イアン (2001)、2001 ゲーデル賞、ACM SIGACT 。

[10] Feldmann, A.; Greenberg, A.; Lund, C.; Reingold, N.; Rexford, J. (2000)、「NetScope: IP ネットワークのトラフィックエンジニアリング」、IEEE Network、14 (2): 11–19、CiteSeerX 10.1.1.42.2801、doi :10.1109/65.826367 。

[11] Feldmann, A.; Greenberg, A.; Lund, C.; Reingold, N.; Rexford, J .; True, F. (2001)、「運用 IP ネットワークのトラフィック需要の導出: 方法論と経験」、IEEE/ACM Transactions on Networking、9 (3): 265–279、CiteSeerX 10.1.1.43.3549、doi :10.1109/90.929850、S2CID 32689094 。

[12] Keshav, S.; Lund, C.; Phillips, S.; Reingold, N.; Saran, H. (1995). 「IP-over-ATM ネットワークにおける仮想回線保持時間ポリシーの実証的評価」. IEEE Journal on Selected Areas in Communications . 13 (8): 1371–1382. doi :10.1109/49.464709.