Doron Peled
E250447
Doron Peled is a computer scientist known for his contributions to formal methods and model checking, particularly in collaboration with Edmund M. Clarke.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Doron A. Peled | 2 |
| Doron Peled canonical | 2 |
How this entity was disambiguated
This entity first appeared as the object of triple T2169593 — 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: Doron Peled Context triple: [Edmund M. Clarke, coAuthor, Doron Peled]
-
A.
Amnon Yariv
Amnon Yariv is an Israeli-American physicist and electrical engineer renowned for his pioneering contributions to lasers, optoelectronics, and photonics theory.
-
B.
Aharon Katzir
Aharon Katzir was an Israeli biophysicist and pioneering researcher in the electrochemistry of biopolymers who became one of Israel’s most prominent scientists before his assassination in 1972.
-
C.
Eliyahu Sasson
Eliyahu Sasson was an Israeli politician and diplomat who played a significant role in the early political institutions of the State of Israel.
-
D.
Ephraim Katzir
Ephraim Katzir was an Israeli biophysicist and politician who served as the fourth President of Israel and was renowned for his pioneering work in the field of protein chemistry.
-
E.
Dov Karmi
Dov Karmi was a prominent Israeli architect known for helping shape the modernist architectural landscape of Tel Aviv and other parts of Israel in the mid-20th century.
- 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: Doron Peled Target entity description: Doron Peled is a computer scientist known for his contributions to formal methods and model checking, particularly in collaboration with Edmund M. Clarke.
-
A.
Amnon Yariv
Amnon Yariv is an Israeli-American physicist and electrical engineer renowned for his pioneering contributions to lasers, optoelectronics, and photonics theory.
-
B.
Aharon Katzir
Aharon Katzir was an Israeli biophysicist and pioneering researcher in the electrochemistry of biopolymers who became one of Israel’s most prominent scientists before his assassination in 1972.
-
C.
Eliyahu Sasson
Eliyahu Sasson was an Israeli politician and diplomat who played a significant role in the early political institutions of the State of Israel.
-
D.
Ephraim Katzir
Ephraim Katzir was an Israeli biophysicist and politician who served as the fourth President of Israel and was renowned for his pioneering work in the field of protein chemistry.
-
E.
Dov Karmi
Dov Karmi was a prominent Israeli architect known for helping shape the modernist architectural landscape of Tel Aviv and other parts of Israel in the mid-20th century.
- F. None of above. chosen
Statements (41)
| Predicate | Object |
|---|---|
| instanceOf |
academic
ⓘ
computer scientist ⓘ |
| affiliation | Bar-Ilan University ⓘ |
| areaOfInfluence |
concurrent programming
ⓘ
hardware verification ⓘ software verification ⓘ |
| coAuthorWith |
Amir Pnueli
ⓘ
Edmund M. Clarke ⓘ Helmut Veith ⓘ Joost-Pieter Katoen ⓘ Moshe Y. Vardi ⓘ Orna Grumberg ⓘ |
| educatedAt | Weizmann Institute of Science ⓘ |
| field |
computer science
ⓘ
formal methods ⓘ model checking ⓘ |
| hasAcademicAdvisor | Amir Pnueli ⓘ |
| hasCitizenship | Israel ⓘ |
| hasRole |
conference chair
ⓘ
journal editorial board member ⓘ program committee member ⓘ |
| influenced |
research on partial order methods in verification
ⓘ
research on scalable model checking ⓘ |
| knownFor |
collaboration with Edmund M. Clarke
ⓘ
contributions to formal verification ⓘ partial order reduction techniques ⓘ work on model checking ⓘ |
| language |
English
ⓘ
Hebrew ⓘ |
| notablePublicationType |
book chapters
ⓘ
conference papers ⓘ journal articles ⓘ |
| notableWork |
partial order reduction for model checking
ⓘ
verification of concurrent and distributed systems ⓘ work on black-box checking ⓘ |
| occupation | professor ⓘ |
| researchInterest |
automata-theoretic verification
ⓘ
concurrent systems verification ⓘ probabilistic verification ⓘ runtime verification ⓘ temporal logic ⓘ |
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: Doron Peled Description of subject: Doron Peled is a computer scientist known for his contributions to formal methods and model checking, particularly in collaboration with Edmund M. Clarke.
Referenced by (4)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Model Checking
this entity surface form:
Doron A. Peled
this entity surface form:
Doron A. Peled