Carsten Lund - Carsten Lund
Carsten Lund | |
---|---|
narozený | |
Národnost | dánština |
Alma mater | Aarhuská univerzita University of Chicago |
Ocenění | Gödelova cena (2001) |
Vědecká kariéra | |
Pole | Teoretická informatika |
Instituce | Laboratoře AT&T |
Doktorský poradce | Lance Fortnow László Babai |
Carsten Lund (narozen 1. července 1963) je a dánština -narozený teoretický počítačový vědec, v současné době pracuje v Laboratoře AT&T v Bedminster, New Jersey, Spojené státy.[1]
Lund se narodil v Aarhus, Dánsko a v roce 1988 získal titul "kandidat" University of Aarhus a jeho Ph.D. z University of Chicago v informatice. Jeho práce s názvem ThePower of Interaction byla vybrána jako ACM „Distinguished Dissertation“.
V roce 1990 byl Lund spoluautorem dvou z pěti konkurenčních prací Symposium on Foundations of Computer Science charakterizující třídy složitosti jako PSPACE a NEXPTIME ve smyslu interaktivní kontrolní systémy;[2][3][4]tato práce se stala součástí jeho 1991 Ph.D. práce z University of Chicago pod dohledem Lance Fortnow a László Babai,[5] pro který byl finalistou pro rok 1991 ACM Cena za doktorskou disertační práci.[6]
On je také známý pro jeho společnou práci s Sanjeev Arora, Madhu Súdán, Rajeev Motwani, a Mario Szegedy který objevil existenci pravděpodobnostně ověřitelné důkazy pro NP-tvrdé problémy a použil je k prokázání výsledky tvrdosti pro problémy aproximace;[7][8] v roce 2001 obdržel se svými spoluautory Gödelova cena za jejich podíl na těchto objevech.[9]
V poslední době publikoval vysoce citovanou práci inženýrství internetového provozu.[10][11]
Ve společnosti AT&T Laboratories pracuje od srpna 1991.[12]
Reference
- ^ Lundova domovská stránka v AT&T.
- ^ Kolata, Gina (26. června 1990), „V šílenství vstupuje matematika do věku elektronické pošty“, The New York Times.
- ^ Lund, Carsten; Fortnow, Lance; Karloff, Howard J .; Nisan, Noame (1990), „Algebraické metody pro interaktivní kontrolní systémy“, Proc. 31. výroční sympozium o základech informatiky, s. 2–10, doi:10.1109 / FSCS.1990.89518, ISBN 978-0-8186-2082-9. Později publikováno v JACM, 1991, doi:10.1145/146585.146605.
- ^ Babai, László; Fortnow, Lance; Lund, Carsten (1990), „Nedeterministický exponenciální čas má dva provokativní interaktivní protokoly“, Proc. 31. výroční sympozium o základech informatiky, s. 16–25, CiteSeerX 10.1.1.130.9311, doi:10.1109 / FSCS.1990.89520, ISBN 978-0-8186-2082-9. Později publikovaný v Computational Complexity, 1991, doi:10.1007 / BF01200056.
- ^ Cartsten Lund na Matematický genealogický projekt.
- ^ Koppes, Steve (11. května 2000), „Držitel titulu Ph.D. získává nejvyšší ocenění v oblasti informatiky“, University of Chicago Chronicle, 19 (16).
- ^ Kolata, Gina (7. dubna 1992), „Byla nalezena nová zkratka pro dlouhé matematické důkazy“, The New York Times.
- ^ Arora, Sanjeev; Lund, Carsten; Motwani, Rajeev; Súdán, Madhu; Szegedy, Mario (1998), „Důkazní ověření a tvrdost problémů aproximace“, Deník ACM, 45 (3): 501–555, doi:10.1145/278298.278306. Původně představen v roce 1992 Symposium on Foundations of Computer Science, doi:10.1109 / SFCS.1992.267823.
- ^ Parberry, Ian (2001), 2001 Gödelova cena, ACM SIGACT.
- ^ Feldmann, A .; Greenberg, A .; Lund, C .; Reingold, N .; Rexford, J. (2000), "NetScope: traffic engineering for IP networks", Síť IEEE, 14 (2): 11–19, CiteSeerX 10.1.1.42.2801, doi:10.1109/65.826367.
- ^ Feldmann, A .; Greenberg, A .; Lund, C .; Reingold, N .; Rexford, J.; Je pravda, F. (2001), „Odvození provozních požadavků na provozní sítě IP: metodika a zkušenosti“, Transakce IEEE / ACM v síti, 9 (3): 265–279, CiteSeerX 10.1.1.43.3549, doi:10.1109/90.929850.
- ^ Keshav, S .; Lund, C .; Phillips, S .; Reingold, N .; Saran, H. (1995). „Empirické vyhodnocení zásad doby držení virtuálního obvodu v sítích IP-over-ATM“. IEEE Journal on Selected Areas in Communications. 13 (8): 1371–1382. doi:10.1109/49.464709.