Richard Lipton

E141639

American computer scientist cryptographer person theoretical computer scientist

Richard Lipton is an American computer scientist known for his influential work in theoretical computer science and cryptography, including contributions to complexity theory and algorithm design.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (2)

Label	Occurrences
Richard Lipton canonical	4
Richard J. Lipton	2

How this entity was disambiguated

This entity first appeared as the object of triple T1134450 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: Richard Lipton
Context triple: [Avi Wigderson, doctoralAdvisor, Richard Lipton]

A. Leslie Valiant
Leslie Valiant is a renowned computer scientist known for his foundational work in computational learning theory, complexity theory, and artificial intelligence.
B. Jeffrey D. Ullman
Jeffrey D. Ullman is a prominent American computer scientist known for his foundational contributions to database theory, algorithms, and formal languages, and for coauthoring several classic textbooks in computer science.
C. W. Craig Jelinek
W. Craig Jelinek is an American business executive best known for serving as the CEO of Costco Wholesale Corporation.
D. David M. Brown
David M. Brown was a U.S. Navy captain and NASA astronaut who served as a mission specialist on the ill-fated Space Shuttle Columbia STS-107 mission.
E. J Strother Moore
J Strother Moore is an American computer scientist best known for his pioneering work in automated theorem proving and formal methods, including co-developing the Boyer–Moore theorem prover and the ACL2 system.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: Richard Lipton
Target entity description: Richard Lipton is an American computer scientist known for his influential work in theoretical computer science and cryptography, including contributions to complexity theory and algorithm design.

A. Leslie Valiant
Leslie Valiant is a renowned computer scientist known for his foundational work in computational learning theory, complexity theory, and artificial intelligence.
B. Jeffrey D. Ullman
Jeffrey D. Ullman is a prominent American computer scientist known for his foundational contributions to database theory, algorithms, and formal languages, and for coauthoring several classic textbooks in computer science.
C. W. Craig Jelinek
W. Craig Jelinek is an American business executive best known for serving as the CEO of Costco Wholesale Corporation.
D. David M. Brown
David M. Brown was a U.S. Navy captain and NASA astronaut who served as a mission specialist on the ill-fated Space Shuttle Columbia STS-107 mission.
E. J Strother Moore
J Strother Moore is an American computer scientist best known for his pioneering work in automated theorem proving and formal methods, including co-developing the Boyer–Moore theorem prover and the ACL2 system.
F. None of above. chosen

Statements (50)

Predicate	Object
instanceOf	American ⓘ computer scientist ⓘ cryptographer ⓘ person ⓘ theoretical computer scientist ⓘ
almaMater	Carnegie Mellon University ⓘ linked to: CMU
awardReceived	Guggenheim Fellowship ⓘ Knuth Prize ⓘ linked to: Donald E. Knuth Prize
blogLanguage	English ⓘ
citizenship	United States ⓘ linked to: United States of America
coAuthor	Avi Wigderson ⓘ Jeffrey Ullman ⓘ linked to: Jeffrey D. Ullman Kenneth Regan ⓘ Lance Fortnow ⓘ Robert Tarjan ⓘ
doctoralAdvisor	Manuel Blum ⓘ
educatedIn	computer science ⓘ
employer	Georgia Institute of Technology ⓘ Princeton University ⓘ University of California, Berkeley ⓘ Yale University ⓘ
field	algorithm design ⓘ computational complexity theory ⓘ computer science ⓘ cryptography ⓘ theoretical computer science ⓘ
hasAcademicAdvisor	Manuel Blum ⓘ
hasBlog	Gödel’s Lost Letter and P=NP ⓘ linked to: blog "Gödel’s Lost Letter and P=NP"
hasResearchArea	distributed computing ⓘ graph algorithms ⓘ probabilistic algorithms ⓘ security and privacy ⓘ
honorificTitle	ACM Fellow ⓘ linked to: Fellow of the Association for Computing Machinery IEEE Fellow ⓘ
knownFor	Lipton–Tarjan separator theorem ⓘ blog "Gödel’s Lost Letter and P=NP" ⓘ contributions to algorithm design ⓘ contributions to complexity theory ⓘ research on cryptographic protocols ⓘ research on interactive proofs ⓘ research on program checking ⓘ work in cryptography ⓘ work in theoretical computer science ⓘ
memberOf	Association for Computing Machinery ⓘ IEEE ⓘ linked to: Institute of Electrical and Electronics Engineers
nationality	United States ⓘ linked to: United States of America
notableStudent	Kenneth Regan ⓘ Lance Fortnow ⓘ
positionHeld	Frederick G. Storey Chair in Computing at Georgia Tech ⓘ professor of computer science ⓘ

How these facts were elicited

Referenced by (6)

Full triples — surface form annotated when it differs from this entity's canonical label.

Avi Wigderson → doctoralAdvisor → Richard Lipton ⓘ

Lipton–Tarjan separator theorem → namedAfter → Richard J. Lipton ⓘ

linked to: Richard Lipton

Lipton–Tarjan separator theorem → originalAuthors → Richard J. Lipton ⓘ

linked to: Richard Lipton

Gödel’s Lost Letter and P=NP → hasAuthor → Richard Lipton ⓘ

subject linked to: blog "Gödel’s Lost Letter and P=NP"

Kenneth Regan → blogCoauthor → Richard Lipton ⓘ

Frederick G. Storey Chair in Computing at Georgia Tech → heldBy → Richard Lipton ⓘ

All labels observed (2)

How this entity was disambiguated Show

Statements (50)

How these facts were elicited Show

Referenced by (6)

How this entity was disambiguated

How these facts were elicited