Richard J. Lipton
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Lipton (homonymie).
Richard J. Lipton
![une illustration sous licence libre serait bienvenue](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f7/Defaut_2.svg/langfr-260px-Defaut_2.svg.png)
Naissance | ![]() |
---|---|
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 | ACM Fellow () Prix Knuth () Bourse Guggenheim ![]() |
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