K. Rustan M. Leino
E1282050
UNEXPLORED
K. Rustan M. Leino is a computer scientist known for his influential work in program verification and the design of specification and verification tools such as Spec# and Dafny.
All labels observed (1)
| Label | Occurrences |
|---|---|
| K. Rustan M. Leino canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T17674747 — 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: K. Rustan M. Leino Context triple: [Spec#, developer, K. Rustan M. Leino]
-
A.
Juhani Aho
Juhani Aho was a Finnish author and journalist, regarded as one of Finland’s most important early modern writers and a key figure in the development of Finnish-language literature.
-
B.
Kalevi Aho
Kalevi Aho is a Finnish contemporary composer renowned for his expansive symphonic output, concertos, and works often inspired by Finnish literature and mythology.
-
C.
Johannes Eisermann
Johannes Eisermann is a scholar known for his professorship at the European University Viadrina in Frankfurt (Oder), where he has made notable academic contributions.
-
D.
Esko Aho
Esko Aho is a Finnish politician who served as Prime Minister in the early 1990s and later became known for his roles in business and academia.
-
E.
Markus Oberhumer
Markus Oberhumer is an Austrian software developer best known as the creator of the UPX executable packer and contributor to various open-source compression and optimization tools.
- 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: K. Rustan M. Leino Target entity description: K. Rustan M. Leino is a computer scientist known for his influential work in program verification and the design of specification and verification tools such as Spec# and Dafny.
-
A.
Juhani Aho
Juhani Aho was a Finnish author and journalist, regarded as one of Finland’s most important early modern writers and a key figure in the development of Finnish-language literature.
-
B.
Kalevi Aho
Kalevi Aho is a Finnish contemporary composer renowned for his expansive symphonic output, concertos, and works often inspired by Finnish literature and mythology.
-
C.
Johannes Eisermann
Johannes Eisermann is a scholar known for his professorship at the European University Viadrina in Frankfurt (Oder), where he has made notable academic contributions.
-
D.
Esko Aho
Esko Aho is a Finnish politician who served as Prime Minister in the early 1990s and later became known for his roles in business and academia.
-
E.
Markus Oberhumer
Markus Oberhumer is an Austrian software developer best known as the creator of the UPX executable packer and contributor to various open-source compression and optimization tools.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.