Jump to content

Карстен Лунд

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

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

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

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

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

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

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

  1. ^ Домашняя страница Лунда в AT&T .
  2. ^ Колата, Джина (26 июня 1990 г.), «Математика в безумии вступает в эпоху электронной почты» , The New York Times .
  3. ^ Лунд, Карстен; Пока, Лэнс; Карлофф, Ховард Дж.; Нисан, Ноам (1990), «Алгебраические методы для интерактивных систем доказательств», Proc. 31-й ежегодный симпозиум по основам информатики , стр. 2–10, doi : 10.1109/FSCS.1990.89518 , ISBN  978-0-8186-2082-9 , S2CID   32614901 . Позже опубликовано в JACM, 1991 г. дои : 10.1145/146585.146605 .
  4. ^ Бабай, Ласло; Пока, Лэнс; Лунд, Карстен (1990), «Недетерминированное экспоненциальное время имеет интерактивные протоколы с двумя доказательствами», Proc. 31-й ежегодный симпозиум по основам информатики , стр. 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 г. дои : 10.1007/BF01200056 .
  5. ^ Картстен Лунд в проекте «Математическая генеалогия» .
  6. ^ Коппес, Стив (11 мая 2000 г.), «Доктор философии получает высшую награду в области информатики» , University of Chicago Chronicle , 19 (16) .
  7. ^ Колата, Джина (7 апреля 1992 г.), «Найден новый сокращенный вариант для длинных математических доказательств» , The New York Times .
  8. ^ Арора, Санджив; Лунд, Карстен; Мотвани, Раджив; Судан, Мадху; Сегеди, Марио (1998), «Проверка доказательств и сложность задач аппроксимации», Journal of the ACM , 45 (3): 501–555, doi : 10.1145/278298.278306 , S2CID   8561542 . Первоначально представлено на Симпозиуме по основам информатики в 1992 году . дои : 10.1109/SFCS.1992.267823 .
  9. ^ Парберри, Ян (2001), премия Гёделя 2001 г. , ACM SIGACT .
  10. ^ Фельдманн, А.; Гринберг, А.; Лунд, К.; Рейнгольд, Н.; Рексфорд, Дж. (2000), «NetScope: организация трафика для IP-сетей», IEEE Network , 14 (2): 11–19, CiteSeerX   10.1.1.42.2801 , doi : 10.1109/65.826367 .
  11. ^ Фельдманн, А.; Гринберг, А.; Лунд, К.; Рейнгольд, Н.; Рексфорд, Дж .; Тру, Ф. (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. ^ Кешав, С.; Лунд, К.; Филлипс, С.; Рейнгольд, Н.; Саран, Х. (1995). «Эмпирическая оценка политики времени удержания виртуальных каналов в сетях IP-over-ATM». Журнал IEEE по избранным областям коммуникаций . 13 (8): 1371–1382. дои : 10.1109/49.464709 .
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 84281b50ab8b9c5dd615beea2b772325__1705779660
URL1:https://arc.ask3.ru/arc/aa/84/25/84281b50ab8b9c5dd615beea2b772325.html
Заголовок, (Title) документа по адресу, URL1:
Carsten Lund - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)