Carsten Lund (nacido el 1 de julio de 1963) es un informático teórico nacido en Dinamarca que actualmente trabaja en AT&T Labs en Bedminster, Nueva Jersey , Estados Unidos. [1]
Carsten Lund | |
---|---|
Nació | |
Nacionalidad | danés |
alma mater | Universidad de Aarhus Universidad de Chicago |
Premios | Premio Gödel (2001) |
Carrera científica | |
Campos | Ciencias de la computación teóricas |
Instituciones | Laboratorios AT&T |
Asesor de doctorado | Lance Fortnow László Babai |
Lund nació en Aarhus , Dinamarca , y recibió el título de "kandidat" en 1988 de la Universidad de Aarhus y su doctorado. de la Universidad de Chicago en Ciencias de la Computación. Su tesis, titulada El poder de la interacción, fue elegida como 'Disertación distinguida' de ACM .
Lund fue coautor de dos de los cinco artículos que compitieron en el Simposio de 1990 sobre Fundamentos de las Ciencias de la Computación que caracterizan clases de complejidad como PSPACE y NEXPTIME en términos de sistemas de prueba interactivos ; [2] [3] [4] este trabajo se convirtió en parte de su Ph.D. de 1991. tesis de la Universidad de Chicago bajo la dirección de Lance Fortnow y László Babai , [5] por la que fue finalista del Premio de Disertación Doctoral ACM 1991 . [6]
También es conocido por su trabajo conjunto con Sanjeev Arora , Madhu Sudan , Rajeev Motwani y Mario Szegedy que descubrió la existencia de pruebas probabilísticamente verificables para problemas NP-hard y las utilizó para probar resultados de dureza para problemas de aproximación ; [7] [8] en 2001 él y sus coautores recibieron el Premio Gödel por su participación en estos descubrimientos. [9]
Más recientemente, ha publicado un trabajo muy citado sobre ingeniería de tráfico de Internet . [10] [11]
Ha estado trabajando para AT&T Laboratories desde agosto de 1991. [12]
Referencias
- ^ Página de inicio de Lund en AT&T .
- ^ Kolata, Gina (26 de junio de 1990), "En un frenesí, las matemáticas entran en la era del correo electrónico" , The New York Times.
- ^ Lund, Carsten; Fortnow, Lance; Karloff, Howard J .; Nisan, Noam (1990), "Métodos algebraicos para sistemas de prueba interactivos", Proc. 31º Simposio anual sobre los fundamentos de la informática , págs. 2–10, doi : 10.1109 / FSCS.1990.89518 , ISBN 978-0-8186-2082-9, S2CID 32614901. Posteriormente publicado en JACM, 1991, doi : 10.1145 / 146585.146605 .
- ^ Babai, László; Fortnow, Lance; Lund, Carsten (1990), "El tiempo exponencial no determinista tiene protocolos interactivos de dos probadores", Proc. 31º Simposio anual sobre los fundamentos de la informática , págs. 16–25, CiteSeerX 10.1.1.130.9311 , doi : 10.1109 / FSCS.1990.89520 , ISBN 978-0-8186-2082-9, S2CID 38429596. Posteriormente publicado en Computational Complexity, 1991, doi : 10.1007 / BF01200056 .
- ^ Cartsten Lund en el proyecto de genealogía de las matemáticas .
- ^ Koppes, Steve (11 de mayo de 2000), "El receptor de doctorado recibe el máximo premio en el campo de la informática" , University of Chicago Chronicle , 19 (16).
- ^ Kolata, Gina (7 de abril de 1992), "Nuevo atajo encontrado para pruebas de matemáticas largas" , The New York Times.
- ^ Arora, Sanjeev; Lund, Carsten; Motwani, Rajeev; Sudán, Madhu; Szegedy, Mario (1998), "Verificación de la prueba y la dureza de los problemas de aproximación", Journal of the ACM , 45 (3): 501–555, doi : 10.1145 / 278298.278306 , S2CID 8561542. Presentado originalmente en el Simposio de 1992 sobre los fundamentos de la informática , doi : 10.1109 / SFCS.1992.267823 .
- ^ Parberry, Ian (2001), Premio Gödel 2001 , ACM SIGACT.
- ^ Feldmann, A .; Greenberg, A .; Lund, C .; Reingold, N .; Rexford, J. (2000), "NetScope: ingeniería de tráfico para redes IP", IEEE Network , 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 .; True, F. (2001), "Derivación de demandas de tráfico para redes IP operativas: metodología y experiencia", IEEE / ACM Transactions on Networking , 9 (3): 265–279, CiteSeerX 10.1.1.43.3549 , doi : 10.1109 / 90.929850 , S2CID 32689094.
- ^ Keshav, S .; Lund, C .; Phillips, S .; Reingold, N .; Saran, H. (1995). "Una evaluación empírica de las políticas de tiempo de retención de circuitos virtuales en redes IP sobre ATM". Revista IEEE sobre áreas seleccionadas en comunicaciones . 13 (8): 1371-1382. doi : 10.1109 / 49.464709 .
enlaces externos
- Página de inicio de AT&T Labs