Richard J. Lipton
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.
Pour les articles homonymes, voir Lipton (homonymie).
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 de graphe planaire (en), 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
- (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
- 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
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.