David M. Russinoff
E1362071
UNEXPLORED
David M. Russinoff is a computer scientist known for his work in formal methods and hardware verification, particularly using the ACL2 theorem prover.
All labels observed (1)
| Label | Occurrences |
|---|---|
| David M. Russinoff canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T14981602 — 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: David M. Russinoff Context triple: [Matt Kaufmann, coauthorWith, David M. Russinoff]
-
A.
Michael G. Nathanson
Michael G. Nathanson is a film producer known for his work on major Hollywood movies, including the musical comedy-drama "Joyful Noise."
-
B.
Jay O. Rothman
Jay O. Rothman is an American attorney and academic leader who serves as president of the University of Wisconsin System.
-
C.
Paul S. Rosenbloom
Paul S. Rosenbloom is a computer scientist and cognitive scientist known for his foundational work in cognitive architectures and artificial intelligence.
-
D.
Steven A. Katz
Steven A. Katz is an American screenwriter best known for writing the metafictional horror film "Shadow of the Vampire."
-
E.
Michael B. Nathanson
Michael B. Nathanson is an American film producer known for his work on major Hollywood movies, including popular comedies and action blockbusters.
- 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: David M. Russinoff Target entity description: David M. Russinoff is a computer scientist known for his work in formal methods and hardware verification, particularly using the ACL2 theorem prover.
-
A.
Michael G. Nathanson
Michael G. Nathanson is a film producer known for his work on major Hollywood movies, including the musical comedy-drama "Joyful Noise."
-
B.
Jay O. Rothman
Jay O. Rothman is an American attorney and academic leader who serves as president of the University of Wisconsin System.
-
C.
Paul S. Rosenbloom
Paul S. Rosenbloom is a computer scientist and cognitive scientist known for his foundational work in cognitive architectures and artificial intelligence.
-
D.
Steven A. Katz
Steven A. Katz is an American screenwriter best known for writing the metafictional horror film "Shadow of the Vampire."
-
E.
Michael B. Nathanson
Michael B. Nathanson is an American film producer known for his work on major Hollywood movies, including popular comedies and action blockbusters.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.