Richard Jay Lipton (* 6. September 1946) ist ein US-amerikanischer Informatiker (Theoretische Informatik, Kryptologie, DNA-Computer).
Lipton studierte an der Case Western Reserve University mit dem Bachelor-Abschluss 1968 und wurde 1973 bei David Parnas an der Carnegie Mellon University promoviert (On Synchronization Primitive Systems). Danach lehrte er an der Yale University, ab 1978 an der University of California, Berkeley, 1980 bis 2000 an der Princeton University und ab 2000 am Georgia Institute of Technology, wo er zuletzt Frederick G. Story Professor of Computing war und nun emeritiert ist.
Er befasste sich unter anderem mit Verifikation von Programmen, Sicherheit von Datenbanken, Parallelalgorithmen, Spieltheorie, Vielparteien-Kommunikationsprotokolle und theoretisch mit DNA-Computing, wo er mit Leonard Adleman als einer der Pioniere gilt. Er zeigte, dass DNA-Computer einige schwierige RechenproblemeLipton DNA solution of hard computational problems, Science, 268, 2010, 542–545 lösen können wie das SAT-Problem für Boolesche Schaltkreise.Boneh, Dunworth, Lipton, Sgall On the computational power of DNA, Discrete Applied Mathematics, Band 71, 1996, S. 79–94
Mit Richard M. Karp bewies er 1980 den Satz von Karp und Lipton im Erfüllbarkeitsproblem der Aussagenlogik (SAT).Karp, Lipton Some connections between nonuniform and uniform complexity classes, Proceedings of the Twelfth Annual ACM Symposium on Theory of Computing, 1980, S. 302–309 Er war ab 1996 beratender Wissenschaftler bei Telcordia (dem ehemaligen Bellcore) und leitete ein Labor bei Panasonic. Er war Guggenheim Fellow (1981), ist Fellow der Association for Computing Machinery und der National Academy of Engineering. 2014 erhielt er den Knuth-Preis und wurde in die American Academy of Arts and Sciences aufgenommen.
Zusammen mit seinem Kollegen Kenneth W. Regan betreibt er das Blog Gödel’s lost letter and P=NP. Er veröffentlichte Beiträge daraus 2010 als Buch.
Zu seinen 20 Doktoranden gehörten Avi Wigderson und Dan Boneh.
Schriften
Weblinks
Das Blog Gödel’s lost letter and P=NP
Einzelnachweise
Kategorie:Informatiker Kategorie:Hochschullehrer (Georgia Institute of Technology) Kategorie:Hochschullehrer (Princeton University) Kategorie:Hochschullehrer (University of California, Berkeley) Kategorie:Hochschullehrer (Yale University) Kategorie:Mitglied der National Academy of Engineering Kategorie:Mitglied der American Academy of Arts and Sciences Kategorie:US-Amerikaner Kategorie:Geboren 1946 Kategorie:Mann