Carsten Lund
From Wikipedia, the free encyclopedia
| Naissance |
Aarhus, Danemark |
|---|---|
| Nationalité | danois |
| Résidence | New Jersey, États-Unis |
| Domaines | informatique théorique |
|---|---|
| Institutions | Laboratoire AT&T |
| Diplôme | Ph. D. |
| Formation |
Université d'Aarhus University of Chicago |
| Directeur de thèse |
Lance Fortnow (en) László Babai |
| Distinctions | Prix Gödel (2001) |
Carsten Lund, né le à Aarhus, au Danemark, est un informaticien théoricien d'origine danoise qui travaille actuellement (en 2015) à Bedminster, dans le New Jersey, aux Laboratoires de AT&T[1].
Carsten Lund obtient un diplôme de « kandidat »[2] en 1988 à Université d'Aarhus, et un Ph. D. en informatique à l'Université de Chicago en 1991, sous la supervision de Lance Fortnow (en) et László Babai[3]. Sa thèse, intitulée The Power of Interaction, a été finaliste dans le concours au « Doctoral Dissertation Award » de l'Association for Computing Machinery (ACM)[4].
Il travaille aux Laboratoires AT&T depuis [5].
Travaux
En 1990, Carsten Lund est coauteur de deux communications, au Symposium on Foundations of Computer Science, qui traitent de la caractérisation de diverses classes de complexité en termes de systèmes de preuve interactive[6],[7], . C'est un thème faisant alors l’objet d'une grande activité en informatique théorique[8]. Il est connu pour son travail commun avec Sanjeev Arora, Madhu Sudan, Rajeev Motwani, et Mario Szegedy qui décrit l'existence de preuves vérifiables en probabilité pour les problèmes de la classe NP et qui donne la preuve de la complexité d'algorithmes d'approximation[9],[10]. Pour cet article, lui et ses coauteurs reçoivent en 2001 le prix Gödel[11].
Ensuite, Lund a publié de nombreux articles sur la gestion du trafic internet (internet traffic engineering (en))[12],[13].
