Rustan Leino
E1282049
UNEXPLORED
Rustan Leino is a computer scientist known for his work on program verification and for designing tools such as the Spec# programming system and the Dafny verification-aware language.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Rustan Leino canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T17674745 — 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: Rustan Leino Context triple: [Spec#, developer, Rustan Leino]
-
A.
Kasimir Leino
Kasimir Leino was a Finnish writer, critic, and theatre director active in the late 19th and early 20th centuries.
-
B.
Heikki Tuuri
Heikki Tuuri is a Finnish software engineer and entrepreneur best known as the creator of the InnoDB storage engine and founder of the database company Innobase Oy.
-
C.
Ahti Heinla
Ahti Heinla is an Estonian computer programmer and entrepreneur best known as a co-founder of Skype and the robotics company Starship Technologies.
-
D.
Aarno Ruusuvuori
Aarno Ruusuvuori was a prominent Finnish modernist architect known for his bold use of concrete and minimalist forms in religious and public buildings.
-
E.
Paavo Lonkila
Paavo Lonkila was a Finnish cross-country skier who won multiple Olympic and World Championship medals in the early 1950s.
- 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: Rustan Leino Target entity description: Rustan Leino is a computer scientist known for his work on program verification and for designing tools such as the Spec# programming system and the Dafny verification-aware language.
-
A.
Kasimir Leino
Kasimir Leino was a Finnish writer, critic, and theatre director active in the late 19th and early 20th centuries.
-
B.
Heikki Tuuri
Heikki Tuuri is a Finnish software engineer and entrepreneur best known as the creator of the InnoDB storage engine and founder of the database company Innobase Oy.
-
C.
Ahti Heinla
Ahti Heinla is an Estonian computer programmer and entrepreneur best known as a co-founder of Skype and the robotics company Starship Technologies.
-
D.
Aarno Ruusuvuori
Aarno Ruusuvuori was a prominent Finnish modernist architect known for his bold use of concrete and minimalist forms in religious and public buildings.
-
E.
Paavo Lonkila
Paavo Lonkila was a Finnish cross-country skier who won multiple Olympic and World Championship medals in the early 1950s.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.