Carsten Lund

Carsten Lund

Carsten Lund (* 1. Juli 1963) ist ein US-amerikanischer Informatiker.

Lund wurde 1991 an der University of Chicago bei Lance Fortnow und Laszlo Babai promoviert (The Power of Interaction). Er forscht an den AT&T Laboratories in Florham Park (New Jersey), wo er sich unter anderem mit der Bewältigung des Informationsflusses in Internet-Netzwerken beschäftigte (Internet Traffic Engineering).

Ausgehend von seiner Doktorarbeit und in Zusammenarbeit mit seinen Lehrern Babai und Fortnow bewies er Anfang der 1990er Jahre Sätze über die von Interaktiven Beweissystemen (mit PCP´s) beweisbaren Probleme der Komplexitätstheorie. Dies führte später in den 1990er Jahren zum Beweis des PCP-Theorems. 2001 erhielt er den Gödel-Preis für seine Beteiligung an dieser Entwicklung.

2005 gewann er die Science and Technology Medal von ATT.

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Lund (Familienname) — Lund ist der Name der folgenden Personen: Anders Lund (* 1985), dänischer Radrennfahrer Børge Lund (* 1979), norwegischer Handballspieler Carsten Lund (* in 1. Juli 1963) ist ein US amerikanischer Informatiker Emil Lund (1855–1928), dänischer… …   Deutsch Wikipedia

  • PCP theorem — In computational complexity theory, the PCP theorem states that every decision problem in the NP complexity class has probabilistically checkable proofs (proofs that can be checked by a randomized algorithm) of constant query complexity and… …   Wikipedia

  • Prix Gödel — Nommé en l honneur du logicien Kurt Gödel, le prix Gödel a été créé en 1992 par l European Association for Theoretical Computer Science (EATCS), l Association for Computing Machinery (ACM) et le groupe de l ACM sur l algorithmique et la théorie… …   Wikipédia en Français

  • PCP-Theorem — Das PCP Theorem ist ein Satz aus der theoretischen Informatik (Komplexitätstheorie). Es beruht auf dem Konzept des zufällig verifizierbaren Beweises eines mathematischen Satzes (probabilistic checkable proof, PCP), der wiederum auf das Konzept… …   Deutsch Wikipedia

  • Lance Fortnow — Lance Jeremy Fortnow ist ein amerikanischer Informatiker. Fortnow studierte Mathematik und Informatik an der Cornell University (Bachelor 1985) und wurde 1989 bei Michael Sipser am Massachusetts Institute of Technology promoviert (Complexity… …   Deutsch Wikipedia

  • Mihalis Yannakakis — Born September 13, 1953 …   Wikipedia

  • Géraud Sénizergues — est professeur d informatique à l Université de Bordeaux et membre du Laboratoire bordelais de recherche en informatique. Récipiendaire du Prix Gödel en 2002 pour avoir démontré la décidabilité de l égalité des langages reconnus par des automates …   Wikipédia en Français

  • Johan Håstad — Johan Håstad, né en 1960, est un informaticien théorique suédois connu particulièrement pour son travail sur la complexité algorithmique. Il a reçu le Prix Gödel en 1994 et 2011 et le Doctoral Dissertation Award de l Association for Computing… …   Wikipédia en Français

  • László Lovász — (9 mars 1948, à Budapest ) est un mathématicien connu pour ses travaux en combinatoire et dans la théorie des graphes. Sommaire …   Wikipédia en Français

  • Manindra Agrawal — (hindi : मणीन्द्र अग्रवाल) (20 mai 1966 à Allâhâbâd ) est un mathématicien indien et professeur à l Institut indien de technologie de Kanpur. C est un des auteurs du test de primalité AKS. Lien externe Page personnelle (en) …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”