Nir Piterman
E901523
Nir Piterman is a computer scientist known for his work in formal verification, automata theory, and temporal logic.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Nir Piterman canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T11023679 — 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: Nir Piterman Context triple: [Orna Kupferman, doctoralStudent, Nir Piterman]
-
A.
Uriel Feige
Uriel Feige is an Israeli computer scientist known for his influential work in computational complexity theory, approximation algorithms, and probabilistically checkable proofs.
-
B.
Nir Bergman
Nir Bergman is an Israeli film and television director and screenwriter known for his influential work in character-driven dramas.
-
C.
Avi Kivity
Avi Kivity is an Israeli software engineer best known as the original creator of the KVM virtualization infrastructure for the Linux kernel.
-
D.
Tom Erez
Tom Erez is a researcher in machine learning and control, known for his work on deep reinforcement learning algorithms such as Deep Deterministic Policy Gradient (DDPG).
-
E.
Amnon Niv
Amnon Niv is an Israeli architect best known for designing prominent high-rise buildings, including some of the country's most recognizable skyscrapers.
- 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: Nir Piterman Target entity description: Nir Piterman is a computer scientist known for his work in formal verification, automata theory, and temporal logic.
-
A.
Uriel Feige
Uriel Feige is an Israeli computer scientist known for his influential work in computational complexity theory, approximation algorithms, and probabilistically checkable proofs.
-
B.
Nir Bergman
Nir Bergman is an Israeli film and television director and screenwriter known for his influential work in character-driven dramas.
-
C.
Avi Kivity
Avi Kivity is an Israeli software engineer best known as the original creator of the KVM virtualization infrastructure for the Linux kernel.
-
D.
Tom Erez
Tom Erez is a researcher in machine learning and control, known for his work on deep reinforcement learning algorithms such as Deep Deterministic Policy Gradient (DDPG).
-
E.
Amnon Niv
Amnon Niv is an Israeli architect best known for designing prominent high-rise buildings, including some of the country's most recognizable skyscrapers.
- F. None of above. chosen
Statements (29)
| Predicate | Object |
|---|---|
| instanceOf |
computer scientist
ⓘ
person ⓘ |
| academicDiscipline | theoretical computer science ⓘ |
| citizenship | Israel ⓘ |
| fieldOfWork |
automata theory
ⓘ
computer science ⓘ formal methods ⓘ formal verification ⓘ model checking ⓘ reactive systems ⓘ temporal logic ⓘ |
| hasAcademicPosition | professor of computer science ⓘ |
| hasGender | male ⓘ |
| hasRole |
academic
ⓘ
researcher ⓘ |
| isAlive | true ⓘ |
| knownFor |
research on model checking of reactive systems
ⓘ
work on automata theory ⓘ work on formal verification ⓘ work on temporal logic ⓘ |
| languageSpoken |
English
ⓘ
Hebrew ⓘ |
| notableWorkArea |
automata-based techniques for verification
ⓘ
synthesis of reactive systems ⓘ temporal logics for reactive systems specification ⓘ |
| researchInterest |
automata on infinite objects
ⓘ
logic in computer science ⓘ specification and verification of reactive systems ⓘ verification of hardware and software systems ⓘ |
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: Nir Piterman Description of subject: Nir Piterman is a computer scientist known for his work in formal verification, automata theory, and temporal logic.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.