Richard J. Lipton

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).[1] 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.[2]

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 Rechenprobleme[3] lösen können wie das SAT-Problem für Boolesche Schaltkreise.[4]

Mit Richard M. Karp bewies er 1980 den Satz von Karp und Lipton im Erfüllbarkeitsproblem der Aussagenlogik (SAT).[5] 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[6] und wurde in die American Academy of Arts and Sciences aufgenommen.[7]

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.[8]