1987 …2023

Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile

About Me

Research fields

Proof of correctness of hardware systems and software Automatic proof, tests of logic systems and formal languages

Education/Academic qualification

מדעי המחשב

Sep 1988Sep 1991

מדעי המחשב

Sep 1984Mar 1987

מדעי המחשב, Bachelor

Mar 1981Jul 1984


Dive into the research topics where Doron Peled is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or