Карстен Лунд
Карстен Лунд | |
---|---|
Рожденный | |
Национальность | датский |
Альма-матер | Орхусский университет Чикагский университет |
Награды | Премия Гёделя (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]
Ссылки
[ редактировать ]- ^ Домашняя страница Лунда в AT&T .
- ^ Колата, Джина (26 июня 1990 г.), «Математика в безумии вступает в эпоху электронной почты» , The New York Times .
- ^ Лунд, Карстен; Пока, Лэнс; Карлофф, Ховард Дж.; Нисан, Ноам (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 .
- ^ Бабай, Ласло; Пока, Лэнс; Лунд, Карстен (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 .
- ^ Картстен Лунд в проекте «Математическая генеалогия» .
- ^ Коппес, Стив (11 мая 2000 г.), «Доктор философии получает высшую награду в области информатики» , University of Chicago Chronicle , 19 (16) .
- ^ Колата, Джина (7 апреля 1992 г.), «Найден новый сокращенный вариант для длинных математических доказательств» , The New York Times .
- ^ Арора, Санджив; Лунд, Карстен; Мотвани, Раджив; Судан, Мадху; Сегеди, Марио (1998), «Проверка доказательств и сложность задач аппроксимации», Journal of the ACM , 45 (3): 501–555, doi : 10.1145/278298.278306 , S2CID 8561542 . Первоначально представлено на Симпозиуме по основам информатики в 1992 году . дои : 10.1109/SFCS.1992.267823 .
- ^ Парберри, Ян (2001), премия Гёделя 2001 г. , ACM SIGACT .
- ^ Фельдманн, А.; Гринберг, А.; Лунд, К.; Рейнгольд, Н.; Рексфорд, Дж. (2000), «NetScope: организация трафика для IP-сетей», IEEE Network , 14 (2): 11–19, CiteSeerX 10.1.1.42.2801 , doi : 10.1109/65.826367 .
- ^ Фельдманн, А.; Гринберг, А.; Лунд, К.; Рейнгольд, Н.; Рексфорд, Дж .; Тру, Ф. (2001), «Вычисление требований к трафику для операционных IP-сетей: методология и опыт», IEEE/ACM Transactions on Networking , 9 (3): 265–279, CiteSeerX 10.1.1.43.3549 , doi : 10.1109/90.929850 , S2CID 32689094 .
- ^ Кешав, С.; Лунд, К.; Филлипс, С.; Рейнгольд, Н.; Саран, Х. (1995). «Эмпирическая оценка политики времени удержания виртуальных каналов в сетях IP-over-ATM». Журнал IEEE по избранным областям коммуникаций . 13 (8): 1371–1382. дои : 10.1109/49.464709 .