Nancy Lynch
E512975
Nancy Lynch is a prominent American computer scientist renowned for her foundational contributions to distributed algorithms and theoretical computer science.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Nancy Lynch canonical | 2 |
| Nancy A. Lynch | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T5335950 — 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: Nancy Lynch Context triple: [EATCS Award, notableRecipient, Nancy Lynch]
-
A.
Leslie Lamport
Leslie Lamport is an American computer scientist renowned for his foundational work in distributed systems, concurrency, and formal methods, including the development of the Paxos consensus algorithm and the LaTeX document preparation system.
-
B.
Eric A. Brewer
Eric A. Brewer is a computer scientist best known for formulating the CAP theorem and for his influential work on scalable, distributed internet systems.
-
C.
Barbara Liskov
Barbara Liskov is an American computer scientist renowned for her pioneering work in programming languages, data abstraction, and distributed systems, and is one of the first women to receive the Turing Award.
-
D.
Edward D. Lazowska
Edward D. Lazowska is an American computer scientist known for his influential work in computer systems and performance evaluation, as well as his leadership in computing research and education policy.
-
E.
Peter J. Denning
Peter J. Denning is an American computer scientist renowned for his foundational work in operating systems, particularly virtual memory, and for his leadership in advancing the science and practice of computing.
- 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: Nancy Lynch Target entity description: Nancy Lynch is a prominent American computer scientist renowned for her foundational contributions to distributed algorithms and theoretical computer science.
-
A.
Leslie Lamport
Leslie Lamport is an American computer scientist renowned for his foundational work in distributed systems, concurrency, and formal methods, including the development of the Paxos consensus algorithm and the LaTeX document preparation system.
-
B.
Eric A. Brewer
Eric A. Brewer is a computer scientist best known for formulating the CAP theorem and for his influential work on scalable, distributed internet systems.
-
C.
Barbara Liskov
Barbara Liskov is an American computer scientist renowned for her pioneering work in programming languages, data abstraction, and distributed systems, and is one of the first women to receive the Turing Award.
-
D.
Edward D. Lazowska
Edward D. Lazowska is an American computer scientist known for his influential work in computer systems and performance evaluation, as well as his leadership in computing research and education policy.
-
E.
Peter J. Denning
Peter J. Denning is an American computer scientist renowned for his foundational work in operating systems, particularly virtual memory, and for his leadership in advancing the science and practice of computing.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
American person
ⓘ
computer scientist ⓘ theoretical computer scientist ⓘ |
| academicDegree |
Bachelor of Arts in Mathematics
ⓘ
PhD in Mathematics ⓘ |
| awardReceived |
ACM Fellow
ⓘ
American Academy of Arts and Sciences fellowship ⓘ Dijkstra Prize in Distributed Computing ⓘ Knuth Prize ⓘ
linked to:
Donald E. Knuth Prize
National Academy of Engineering membership ⓘ |
| countryOfCitizenship | United States of America ⓘ |
| dateOfBirth | 1948-01-19 ⓘ |
| doctoralAdvisor | Albert R. Meyer ⓘ |
| educatedAt |
Brooklyn College
ⓘ
Massachusetts Institute of Technology ⓘ |
| employer |
MIT Computer Science and Artificial Intelligence Laboratory
ⓘ
Massachusetts Institute of Technology ⓘ |
| familyName | Lynch ⓘ |
| fieldOfWork |
concurrency theory
ⓘ
distributed algorithms ⓘ distributed computing ⓘ fault-tolerant computing ⓘ theoretical computer science ⓘ |
| fullName | Nancy Ann Lynch ⓘ |
| gender | female ⓘ |
| genre | scientific literature ⓘ |
| givenName | Nancy ⓘ |
| hasWritten | Distributed Algorithms ⓘ |
| knownFor |
FLP impossibility result
ⓘ
foundational work in distributed algorithms ⓘ impossibility results in distributed computing ⓘ work on consensus in asynchronous systems ⓘ work on formal models of distributed computation ⓘ work on timing models in distributed systems ⓘ |
| languageOfWorkOrName | English ⓘ |
| memberOf |
American Academy of Arts and Sciences
ⓘ
Association for Computing Machinery ⓘ MIT Computer Science and Artificial Intelligence Laboratory ⓘ National Academy of Engineering ⓘ |
| notableStudent |
Jennifer Welch
ⓘ
Maurice Herlihy ⓘ |
| notableWork |
Atomic Snapshots of Shared Memory
ⓘ
Distributed Algorithms ⓘ Impossibility of Distributed Consensus with One Faulty Process ⓘ
linked to:
FLP impossibility result
The Theory of Timed I/O Automata ⓘ |
| placeOfBirth | Brooklyn, New York, United States ⓘ |
| positionHeld |
NEC Professor of Software Science and Engineering at MIT
ⓘ
Professor of Computer Science at MIT ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Nancy Lynch Description of subject: Nancy Lynch is a prominent American computer scientist renowned for her foundational contributions to distributed algorithms and theoretical computer science.
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: Nancy Lynch