Richard J. Lipton
Apparence
Richard J. Lipton
Naissance | |
---|---|
Nationalité | |
Domicile | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Membre de | |
Directeur de thèse | |
Site web | |
Blog officiel | |
Distinctions |
Richard J. Lipton, naissance le , est un chercheur anglo-américain en informatique reconnu notamment pour son travail en algorithmique et en cryptographie. Il a reçu le prix Knuth en 2014.
Biographie
[modifier | modifier le code]Richard Lipton a obtenu son PhD en 1973 à l'université Carnegie-Mellon sous la direction de David Parnas[1]. Il a été en poste dans plusieurs universités dont Yale, Berkeley et Princeton, avant de rejoindre le Georgia Institute of Technology[2].
Il a été le directeur de thèse de Dan Boneh et Avi Wigderson[1].
Travaux
[modifier | modifier le code]Richard Lipton est notamment reconnu pour les travaux suivants[2].
- Le théorème du séparateur planaire, un résultat publié en 1979 avec Robert Tarjan sur les séparateurs de graphes planaires.
- Le théorème de Karp-Lipton en théorie de la complexité, publié avec Richard Karp.
- Travaux sur la vérification de programmes randomisées, les ordinateurs à ADN et la complexité de communication.
Distinctions
[modifier | modifier le code]- Prix Knuth 2014[2]
Notes et références
[modifier | modifier le code]- (en) « Richard J. Lipton », sur le site du Mathematics Genealogy Project.
- « ACM Awards Knuth Prize to Pioneer for Advances in Algorithms and Complexity Theory » [archive du ], sur Association for Computing Machinery (consulté le ).
Liens externes
[modifier | modifier le code]- Site officiel
- Richard J. Lipton, « Gödel’s Lost Letter and P=NP » blog officiel de Richard Lipton sur l’informatique théorique