Richard J. Lipton
Pour les articles homonymes, voir Lipton (homonymie).
Richard J. Lipton
| Naissance |  (77 ans) |
|---|---|
| Nationalité | américaine |
| Domicile | Atlanta |
| Formation | |
| Activités | Informaticien, professeur d'université, mathématicien |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | David Parnas |
| Site web | (en) www.scs.gatech.edu/people/richard-lipton |
| Blog officiel | (en) rjlipton.wordpress.com |
| Distinctions | Prix Knuth () Bourse Guggenheim ACM Fellow |
modifier - modifier le code - modifier Wikidata
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
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
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
- Prix Knuth 2014[2]
Notes et références
- ↑ a et b (en) « Richard J. Lipton », sur le site du Mathematics Genealogy Project.
- ↑ a b et c « ACM Awards Knuth Prize to Pioneer for Advances in Algorithms and Complexity Theory » [archive du ], sur Association for Computing Machinery (consulté le ).
Liens externes
- Site officiel
- Richard J. Lipton, « Gödel’s Lost Letter and P=NP » blog officiel de Richard Lipton sur l’informatique théorique
Portail de l'informatique théorique
