Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Карстен Лунд
Родившийся( 1963-07-01 )1 июля 1963 г. (57 лет)
Орхус , Дания
НациональностьДатский
Альма-матерОрхусский университет
Чикагский университет
НаградыПремия Гёделя (2001)
Научная карьера
ПоляТеоретическая информатика
УчрежденияAT&T лаборатории
ДокторантЛанс Фортноу
Ласло Бабай

Карстен Лунд (родился 1 июля 1963) является датский -born теоретический ученый , в настоящее время работает в AT & T Labs в Bedminster, штат Нью - Джерси , США. [1]

Лунд родился в Орхусе , Дания , получил степень кандидата наук в 1988 году в Орхусском университете и степень доктора философии. из Чикагского университета по информатике. Его диссертация, озаглавленная «Сила взаимодействия», была отмечена как «Выдающаяся диссертация» ACM .

Лунд был соавтором двух из пяти конкурирующих статей на симпозиуме по основам информатики 1990 г., характеризующих классы сложности, такие как PSPACE и NEXPTIME, с точки зрения интерактивных систем доказательства ; [2] [3] [4] эта работа стала частью его докторской диссертации 1991 года. Тезис из Университета Чикаго под руководством Ланса Фортего и Ласло Бабай , [5] , для которого он был занявшим вторым местом в 1991 ACM докторской диссертационной премии. [6]

Он также известен своей совместной работой с Сандживом Аророй , Мадху Суданом , Радживом Мотвани и Марио Сегеди, которые обнаружили существование вероятностно проверяемых доказательств для NP-трудных задач и использовали их для доказательства результатов трудностей для задач аппроксимации ; [7] [8] в 2001 году он и его соавторы получили премию Гёделя за участие в этих открытиях. [9]

Совсем недавно он опубликовал высоко цитируемую работу по проектированию интернет-трафика . [10] [11]

Он работает в AT&T Laboratories с августа 1991 года. [12]

Ссылки [ править ]

  1. ^ Домашняя страница Лунда в AT&T .
  2. ^ Kolata, Gina (26 июня 1990), "В Frenzy, Math Вводит век электронной почты" , The New York Times.
  3. ^ Лунд, Карстен; Фортноу, Лэнс; Карлофф, Ховард Дж .; Нисан, Ноам (1990), "Алгебраические методы для интерактивных систем доказательства", Proc. Тридцать первый ежегодный симпозиум по Основы информатики ., Стр 2-10, DOI : 10,1109 / FSCS.1990.89518 , ISBN 978-0-8186-2082-9, S2CID  32614901. Позже опубликованы в JACM, 1991, DOI : 10.1145 / 146585.146605 .
  4. ^ Бабай, Ласло; Фортноу, Лэнс; Лунд, Карстен (1990), «Недетерминированное экспоненциальное время имеет интерактивные протоколы двух проверок», Proc. Тридцать первый ежегодный симпозиум по Основы информатики ., С. 16-25, CiteSeerX 10.1.1.130.9311 , DOI : 10,1109 / FSCS.1990.89520 , ISBN  978-0-8186-2082-9, S2CID  38429596. Позже опубликованы в вычислительной сложности, 1991, DOI : 10.1007 / BF01200056 .
  5. ^ Cartsten Лунд на Математической генеалогии .
  6. ^ Koppes, Стив (11 мая 2000), «получатель кандидат получает высшую награду в области информатики» , Чикагский университет Chronicle , 19 (16).
  7. ^ Kolata, Gina (7 апреля 1992), "New Short Cut Найденный Long Math доказательств" , The New York Times.
  8. ^ Арора, Санджив; Лунд, Карстен; Мотвани, Раджив; Судан, Мадху; Szegedy, Марио (1998), "Доказательство проверка и твердость задач аппроксимации", Журнал ACM , 45 (3): 501-555, DOI : 10,1145 / 278298,278306 , S2CID 8561542 . Первоначально представлен на Симпозиуме по основам компьютерных наук 1992 г. , DOI : 10.1109 / SFCS.1992.267823 .
  9. ^ Parberry, Ян (2001), 2001 Гедель премии , ACM SIGACT .
  10. ^ Feldmann, A .; Гринберг, А .; Lund, C .; Reingold, N .; Рексфорд, Дж. (2000), «NetScope: управление трафиком для IP-сетей», IEEE Network , 14 (2): 11–19, CiteSeerX 10.1.1.42.2801 , doi : 10.1109 / 65.826367 .
  11. ^ Feldmann, A .; Гринберг, А .; Lund, C .; Reingold, N .; Rexford, J .; Верно, Ф. (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 .; Саран, Х. (1995). «Эмпирическая оценка политик времени удержания виртуальных каналов в сетях IP-over-ATM». Журнал IEEE по избранным областям коммуникаций . 13 (8): 1371–1382. DOI : 10.1109 / 49.464709 .

Внешние ссылки [ править ]

  • Домашняя страница AT&T Labs