카스텐 룬드

Carsten Lund
카스텐 룬드
태어난 (1963-07-01) 1963년 7월 1일 (58세)
덴마크 아르후스
국적덴마크어
모교오르후스 대학교
시카고의 대학교
수상괴델상(2001)
과학 경력
필드이론 전산학
기관AT&T 연구소
박사학위 자문위원랜스 포트나우
바바이 라슬로

카스텐 룬드(Carsten Lund, 1963년 7월 1일생)는 덴마크 태생의 이론 컴퓨터 과학자로, 현재 미국 뉴저지 주 베드민스터의 AT&T 연구소에서 일하고 있다.[1]

룬드는 덴마크 아르후스에서 태어났으며 1988년 아후스 대학에서 컴퓨터 공학으로 '칸디다트' 학위를, 시카고 대학에서 박사 학위를 받았다.'상호작용의 힘'이라는 제목의 그의 논문은 ACM '불분명한 논문'으로 선정되었다.

1990년 심포지엄에서 컴퓨터 과학 기초론 상호 증명 시스템의 관점에서 PSPACE과 NEXPTIME 같은 복잡도 계급성에 25경쟁하는 서류, 시카고 대학의 랜스 Fortnow과 라슬로 바의 감독 아래 그의 1991년 박사 학위 논문의 한 부분이 되[2][3][4]에 룬은 공동 저자이기도 하다.를 bai,[5]1991년 ACM 박사학위 논문상 준우승자였습니다.[6]

그는 또한 Sanjeev Arora, Madhu 수단, 모트, 마리오 Szegedy고 근사 문제를 위해 경도 결과를 증명하려고 그것들을 사용했다 probabilistically 억제할 수 있는. 교정 NP하드 문제는 존재 발견과 합동 작업을 위해;2001년[7][8]에 그와 그의 공동 저자 이 디스크에서 점유율의 괴델 상을 수상한다고 알려져 있다.overies.[9]

더 최근에 그는 인터넷 교통 공학에 관한 고도로 인용된 저서를 출판했다.[10][11]

1991년 8월부터 AT&T 연구소에서 근무하고 있다.[12]

참조

  1. ^ AT&T의 룬드 홈페이지.
  2. ^ Kolata, Gina (June 26, 1990), "In a Frenzy, Math Enters Age of Electronic Mail", The New York Times.
  3. ^ Lund, Carsten; Fortnow, Lance; Karloff, Howard J.; Nisan, Noam (1990), "Algebraic Methods for Interactive Proof Systems", Proc. 31st Annual Symposium on Foundations of Computer Science, pp. 2–10, doi:10.1109/FSCS.1990.89518, ISBN 978-0-8186-2082-9, S2CID 32614901. 이후 JACM, 1991년에 발행된 doi:10.11445/146585.146605.
  4. ^ Babai, 라슬로;Fortnow, 랜스. 룬, 카르스텐(1990년),"Non-Deterministic 급격한 시간 Two-Prover 대화형 프로토콜나", Proc.31일 연례 심포지움 컴퓨터 과학의 기초에,를 대신하여 서명함. 16–25, CiteSeerX 10.1.1.130.9311, doi:10.1109/FSCS.1990.89520, 아이 에스비엔 978-0-8186-2082-9, S2CID 38429596.나중에 전산 복잡함, 1991, doi:10.1007/BF01200056에 발표되었습니다.
  5. ^ 수학 계보 프로젝트의 카트스텐 룬드.
  6. ^ Koppes, Steve (May 11, 2000), "Ph.D. recipient receives top award in the field of computer science", University of Chicago Chronicle, 19 (16).
  7. ^ Kolata, Gina (April 7, 1992), "New Short Cut Found For Long Math Proofs", The New York Times.
  8. ^ Arora, Sanjeev; Lund, Carsten; Motwani, Rajeev; Sudan, Madhu; Szegedy, Mario (1998), "Proof verification and the hardness of approximation problems", Journal of the ACM, 45 (3): 501–555, doi:10.1145/278298.278306, S2CID 8561542. 원래 1992년 컴퓨터 과학 재단 심포지엄에서 발표되었던 doi:10.1109/SFCS.1982.267823.
  9. ^ Parberry, Ian (2001), 2001 Gödel Prize, ACM SIGACT.
  10. ^ Feldmann, A.; Greenberg, A.; Lund, C.; Reingold, N.; Rexford, J. (2000), "NetScope: traffic engineering for IP networks", 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), "Deriving traffic demands for operational IP networks: methodology and experience", 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). "An empirical evaluation of virtual circuit holding time policies in IP-over-ATM networks". IEEE Journal on Selected Areas in Communications. 13 (8): 1371–1382. doi:10.1109/49.464709.

외부 링크