Personal profile

Research interests

Research fields

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

Education/Academic qualification

PhD

Sep 1988Sep 1991

Award Date: 1 Sep 1991

Master

Sep 1984Mar 1987

Award Date: 30 Mar 1987

Bachelor

Mar 1981Jul 1984

Award Date: 30 Jul 1984

Fingerprint

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