Doron A. Peled
id:
doron-a-peled-248-15942710
title:
Doron A. Peled
text:
Doron A. Peled is a computer science Professor at Bar-Ilan University.
His research interests include formal methods, model checking, program synthesis and runtime verification.
With Edmund M. Clarke and Orna Grumberg, he is the coauthor of the book Model Checking
and the author of the book Software Reliability Methods.
brand slug:
wiki
category slug:
encyclopedia
description:
Israeli computer scientist
original url:
https://en.wikipedia.org/wiki/Doron_A._Peled
date created:
date modified:
2023-02-08T17:06:55Z
main entity:
{"identifier":"Q95398393","url":"https://www.wikidata.org/entity/Q95398393"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/3/33/Doron_A._Peled_Bar-Ilan_University.jpg","width":833,"height":1190}
fields total:
13
integrity:
15