Doron A. Peled
About
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 .