Richard J. Lipton
informaticien américain
Pour les articles homonymes, voir Lipton (homonymie).
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.
Richard J. Lipton
| Naissance | |
|---|---|
| Nationalité | |
| Domicile | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Site web | |
| Blog officiel | |
| Distinctions |
Biographie
modifierRichard 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
modifierRichard 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- Prix Knuth 2014[2]
Notes et références
modifier- (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- Site officiel
- Richard J. Lipton, « Gödel’s Lost Letter and P=NP » blog officiel de Richard Lipton sur l’informatique théorique
