Richard J. Lipton

Richard J. Lipton , nacido el6 de septiembre de 1946, es un investigador angloamericano en ciencias de la computación reconocido en particular por su trabajo en algoritmos y criptografía . Recibió el Premio Knuth en 2014.

Biografía

Richard Lipton recibió su doctorado en 1973 de la Universidad Carnegie-Mellon bajo la supervisión de David Parnas . Se desempeñó en varias universidades, incluidas Yale, Berkeley y Princeton, antes de unirse al Instituto de Tecnología de Georgia .

Fue el supervisor de tesis de Dan Boneh y Avi Wigderson .

Obras

Richard Lipton es particularmente reconocido por los siguientes trabajos.

• El teorema del separador de grafos planos  (in) , un resultado publicado en 1979 con Robert Tarjan sobre separadores de grafos planos .
• El teorema de Karp-Lipton en la teoría de la complejidad , publicado con Richard Karp .
• Trabajar en verificación de programas aleatorios , computadoras de ADN y complejidad de la comunicación .

Premios

• Premio Knuth 2014

Notas y referencias

1. (en) “  Richard J. Lipton  ” , en la página web del Proyecto Matemáticas Genealogía .
2. "  Premio Knuth Premios ACM a Pioneer para Adelantos en Algoritmos y Teoría de la Complejidad  " [ Archivo de20 de septiembre de 2014] , en Association for Computing Machinery (consultado el 17 de septiembre de 2014 ) .

enlaces externos

• Sitio oficial
• Richard J. Lipton, "  La letra perdida de Gödel y P = NP  " Blog oficial de Richard Lipton sobre computación teórica