Carsten Lund

Carsten Lund
Geboren 1. Juli 1963 (Alter 59)
Aarhus, Dänemark
Staatsangehörigkeit dänisch
Alma Mater Aarhus University
Universität von Chicago
Auszeichnungen Gödel -Preis (2001)
Wissenschaftliche Karriere
Felder Theoretische Informatik
Institutionen AT & T Laboratorien
Doktorand Lance Fortnow
László Babai

Carsten Lund (geboren am 1. Juli 1963) ist a dänisch-geboren Theoretischer Informatikerderzeit arbeiten bei AT & T Labs in Bedminster, New Jersey, Vereinigte Staaten.[1]

Lund wurde geboren in Aarhus, Dänemarkund erhielt 1988 den Abschluss "Kandidat" von der Universität von Aarhus und sein Ph.D. von dem Universität von Chicago in Informatik. Seine These mit dem Titel "Die Kraft der Wechselwirkung" wurde als eine ausgewählt ACM "Distinguished Dissertation".

Lund war Co-Autor von zwei von fünf konkurrierenden Papieren bei der 1990 Symposium über Fundamente der Informatik Charakterisierung Komplexitätsklassen wie zum Beispiel PSPACE und Nexptime bezüglich Interaktive Proof -Systeme;[2][3][4] Diese Arbeit wurde Teil seines 1991er Ph.D. These von der Universität von Chicago Unter Beobachtung von Lance Fortnow und László Babai,[5] für das er ein Zweitplatzierter für die 1991 war ACM Doktorarbeit.[6]

Er ist auch bekannt für seine gemeinsame Arbeit mit Sanjeev Arora, Madhu Sudan, Rajeev Motwani, und Mario Szegedy das entdeckte die Existenz von Probabilistisch prüfbare Beweise zum Np-harte Probleme und benutzten sie, um zu beweisen Härte Ergebnisse zum Annäherungsprobleme;[7][8] 2001 erhielten er und seine Mitautoren die Gödel -Preis für ihren Anteil an diesen Entdeckungen.[9]

In jüngerer Zeit hat er hoch zitierte Arbeiten veröffentlicht Internet -Verkehrstechnik.[10][11]

Er arbeitet seit August 1991 für AT & T Laboratories.[12]

Verweise

  1. ^ Lunds Homepage bei AT & T..
  2. ^ Kolata, Gina (26. Juni 1990), "In einer Raserei tritt Mathematik in das Alter der elektronischen Post ein.", Die New York Times.
  3. ^ Lund, Carsten; Fortnow, Lance; Karloff, Howard J.; Nisan, Noam (1990), "Algebraische Methoden für interaktive Proofsysteme", Proc. 31. jährliches Symposium für Grundlagen der Informatik, S. 2–10,, doi:10.1109/fscs.1990.89518, ISBN 978-0-8186-2082-9, S2CID 32614901. Später in Jacm, 1991, veröffentlicht, doi:10.1145/146585.146605.
  4. ^ Babai, László; Fortnow, Lance; Lund, Carsten (1990), "Nichtdeterministische exponentielle Zeit hat zwei prob-interaktive Protokolle", Proc. 31. jährliches Symposium für Grundlagen der Informatik, S. 16–25, Citeseerx 10.1.1.130.9311, doi:10.1109/fscs.1990.89520, ISBN 978-0-8186-2082-9, S2CID 38429596. Später in Computational Complexity, 1991, veröffentlicht, doi:10.1007/bf01200056.
  5. ^ Cartsten Lund Bei der Mathematik Genealogie -Projekt.
  6. ^ Koppes, Steve (11. Mai 2000), "Der Empfänger von Ph.D. erhält eine Top -Auszeichnung im Bereich der Informatik", Chronik der Universität von Chicago, 19 (16).
  7. ^ Kolata, Gina (7. April 1992), "Neuer kurzer Schnitt für lange Mathematik -Beweise gefunden", Die New York Times.
  8. ^ Arora, Sanjeev; Lund, Carsten; Motwani, Rajeev; Sudan, Madhu; Szegedy, Mario (1998), "Beweisüberprüfung und die Härte von Approximationsproblemen", Journal of the ACM, 45 (3): 501–555, doi:10.1145/278298.278306, S2CID 8561542. Ursprünglich auf der 1992 präsentiert Symposium über Fundamente der Informatik, doi:10.1109/sfcs.1992.267823.
  9. ^ Parberry, Ian (2001), 2001 Gödel Prize, ACM Sigakt.
  10. ^ Feldmann, A.; Greenberg, A.; Lund, C.; Reingold, N.; Rexford, J. (2000), "NetScope: Verkehrstechnik für IP -Netzwerke", IEEE -Netzwerk, 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), "Die Verkehrsanforderungen für operative IP -Netzwerke: Methodik und Erfahrung", IEEE/ACM -Transaktionen zur Vernetzung, 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). "Eine empirische Bewertung von Zeitrichtlinien für virtuelle Schaltungshalte in IP-Over-ATM-Netzwerken". IEEE Journal über ausgewählte Bereiche in Kommunikation. 13 (8): 1371–1382. doi:10.1109/49.464709.

Externe Links