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. Zu seinen Doktoranden gehörten Avi Wigderson und Dan Boneh.

Property Value
dbo:abstract
  • 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. 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 lösen können wie das SAT Problem für Boolesche Schaltkreise. Mit Richard M. Karp bewies er 1980 den Satz von Karp und Lipton im Erfüllbarkeitsproblem der Aussagenlogik (SAT).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. Er hat ein eigenes Blog Gödel´s lost letter and P=NP und veröffentlichte Beiträge daraus 2010 als Buch. Zu seinen Doktoranden gehörten Avi Wigderson und Dan Boneh. (de)
  • 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. 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 lösen können wie das SAT Problem für Boolesche Schaltkreise. Mit Richard M. Karp bewies er 1980 den Satz von Karp und Lipton im Erfüllbarkeitsproblem der Aussagenlogik (SAT).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. Er hat ein eigenes Blog Gödel´s lost letter and P=NP und veröffentlichte Beiträge daraus 2010 als Buch. Zu seinen Doktoranden gehörten Avi Wigderson und Dan Boneh. (de)
dbo:birthDate
  • 1946-09-06 (xsd:date)
dbo:individualisedGnd
  • 142572888
dbo:lccn
  • n/88/604244
dbo:viafId
  • 117513630
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 7945945 (xsd:integer)
dbo:wikiPageRevisionID
  • 140153827 (xsd:integer)
prop-de:kurzbeschreibung
  • US-amerikanischer Informatiker
prop-de:typ
  • p
dc:description
  • US-amerikanischer Informatiker
dct:subject
rdf:type
rdfs:comment
  • 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. Zu seinen Doktoranden gehörten Avi Wigderson und Dan Boneh. (de)
  • 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. Zu seinen Doktoranden gehörten Avi Wigderson und Dan Boneh. (de)
rdfs:label
  • Richard J. Lipton (de)
  • Richard J. Lipton (de)
owl:sameAs
prov:wasDerivedFrom
foaf:givenName
  • Richard J.
foaf:isPrimaryTopicOf
foaf:name
  • Lipton, Richard J. (de)
  • Richard J. Lipton
foaf:nick
  • Lipton, Richard Jay (vollständiger Name) (de)
  • Lipton, Richard Jay (vollständiger Name) (de)
foaf:surname
  • Lipton
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of