Derek Dreyer
E1095033
UNEXPLORED
Derek Dreyer is a prominent computer scientist known for his work in programming languages, type theory, and formal verification.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Derek Dreyer canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T14341856 — 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: Derek Dreyer Context triple: [Benjamin C. Pierce, notableStudent, Derek Dreyer]
-
A.
Michael Yeargan
Michael Yeargan is an American scenic designer renowned for his work in opera and theatre, including major productions at leading companies such as the Metropolitan Opera and Broadway.
-
B.
Steven DeRose
Steven DeRose is a computer scientist and linguist known for his influential work in digital text encoding and markup languages, particularly in the development and standardization of XML-related technologies.
-
C.
Philip Dunne
Philip Dunne was an American screenwriter, director, and producer best known for his work on classic Hollywood films from the 1930s through the 1960s.
-
D.
Ben Straub
Ben Straub is a software developer and technical author best known for co-authoring the widely used Git reference book "Pro Git."
-
E.
Andrew Solt
Andrew Solt was a Hungarian-American screenwriter and producer best known for his work on mid-20th-century films and later for creating music-related documentaries and television programs.
- 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: Derek Dreyer Target entity description: Derek Dreyer is a prominent computer scientist known for his work in programming languages, type theory, and formal verification.
-
A.
Michael Yeargan
Michael Yeargan is an American scenic designer renowned for his work in opera and theatre, including major productions at leading companies such as the Metropolitan Opera and Broadway.
-
B.
Steven DeRose
Steven DeRose is a computer scientist and linguist known for his influential work in digital text encoding and markup languages, particularly in the development and standardization of XML-related technologies.
-
C.
Philip Dunne
Philip Dunne was an American screenwriter, director, and producer best known for his work on classic Hollywood films from the 1930s through the 1960s.
-
D.
Ben Straub
Ben Straub is a software developer and technical author best known for co-authoring the widely used Git reference book "Pro Git."
-
E.
Andrew Solt
Andrew Solt was a Hungarian-American screenwriter and producer best known for his work on mid-20th-century films and later for creating music-related documentaries and television programs.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.