Richard J. Lipton

Biographie
Naissance	6 septembre 1946 (78 ans)
Nationalité	américaine
Domicile	Atlanta
Formation	Université Carnegie-Mellon
Activités	Informaticien, professeur d'université, mathématicien
A travaillé pour	Georgia Institute of Technology
Membre de	Association for Computing Machinery (1997); Académie nationale d'ingénierie des États-Unis; Académie américaine des arts et des sciences
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 (1997); Prix Knuth (2014); Bourse Guggenheim

Richard J. Lipton, naissance le 6 septembre 1946, 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 20 septembre 2014], sur Association for Computing Machinery (consulté le 17 septembre 2014).

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

[mathgene-1] {a et b} (en) « Richard J. Lipton », sur le site du Mathematics Genealogy Project.

[knuth-2] {a b et c} « ACM Awards Knuth Prize to Pioneer for Advances in Algorithms and Complexity Theory » [archive du 20 septembre 2014], sur Association for Computing Machinery (consulté le 17 septembre 2014).

[1]

[2]