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..
Carrière
Carsten Lund obtient un diplôme de « kandidat »Le diplôme de kandidat correspond, en France par exemple, à peu près à un master. en 1988 à Université d'Aarhus, et un Ph. D. en informatique à l'Université de Chicago en 1991, sous la supervision de et László Babai.. 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)..
Il travaille aux Laboratoires AT&T depuis ..
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.. . C'est un thème faisant alors l’objet d'une grande activité en informatique théorique.. 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... Pour cet article, lui et ses coauteurs reçoivent en 2001 le prix Gödel..
Ensuite, Lund a publié de nombreux articles sur la gestion du trafic internet ()...
Publications (sélection)
. publié ultérieurement dans le Journal of the ACM en 1991, . . publié ultérieurement dans Computational Complexity en 1991, .
. .
Notes et références
Liens externes Page de Carsten Lund sur AT&T Labs
Catégorie:Naissance en juillet 1963 Catégorie:Scientifique des laboratoires Bell Catégorie:Étudiant de l'université d'Aarhus Catégorie:Lauréat du prix Gödel Catégorie:Personnalité danoise de l'informatique Catégorie:Naissance à Aarhus