Doron A. Peled | |
|---|---|
 | |
| Born | 1962 |
| Citizenship | Israeli |
| Alma mater | Technion – Israel Institute of Technology |
| Known for | Partial order reduction |
| Awards | CAV Award 2014[1] |
| Scientific career | |
| Fields | Formal Methods, Model checking, program synthesis, runtime verification |
| Institutions | |
| Doctoral advisor | Shmuel Katz, Amir Pnueli |
Doron A. Peled (born 1962) (Hebrew: דורון אנשל פלד) 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 (MIT Press, 1999)[2] and the author of the book Software Reliability Methods (Springer Verlag, 2000).[3]
- ^ CAV award - International Conference on Computer-Aided Verification
- ^ Clarke, Edmund M.; Grumberg, Orna; Peled, Doron A. (2001). Model Checking. MIT Press 2001. ISBN 978-0-262-03270-4.
- ^ Peled, Doron (2001). Software Reliability Methods. New York: Springer. ISBN 978-0-387-95106-5.