Doron A. Peled
Doron A. Peled | |
|---|---|
דורון אנשל פלד | |
| Born | March 8,1962 |
| Citizenship | Israeli |
| Alma mater | Technion – Israel Institute of Technology |
| Known for | Partial order reduction |
| Awards | CAV Award 2014 |
| Scientific career | |
| Fields | Formal Methods, Model checking, program synthesis, runtime verification |
| Institutions | |
| Doctoral advisor | Shmuel Katz, Amir Pnueli |
Doron A. Peled (Hebrew: דורון אנשל פלד; born 1962) 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) and the author of the book Software Reliability Methods (Springer Verlag, 2000).