| Doron A. Peled | |
| Birth Date: | 1962 |
| Birth Place: | Haifa, Israel |
| Citizenship: | Israeli |
| Field: | Formal Methods, Model checking, program synthesis, runtime verification |
| Alma Mater: | Technion – Israel Institute of Technology |
| Doctoral Advisor: | Shmuel Katz, Amir Pnueli |
| Known For: | Partial order reduction |
| Awards: | CAV Award 2014[1] |
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]
Doron Peled[4] was born in 1962 in Haifa. He obtained his D.Sc in computer science from the Technion – Israel Institute of Technology in 1991 under the supervision of Prof. Shmuel Katz and Prof. Amir Pnueli on verification methods in temporal logic.After a post-doctoral year at the University of Warwick, he joined Bell Labs, where he worked between 1992 and 2001.He was then appointed as an associated professor at the University of Texas at Austin and after a year to a professor and chair of software engineering at the University of Warwick.
In 2006 Doron returned to Israel and joined Bar-Ilan University as a professor of computer science. He served as the department chair between 2013 and 2016.[5]
Peled is known for his contribution in computer science in the area of formal methods.[6] This includes partial order reduction,[7] which is a method for reducing the time and space required to automatically verify a concurrent system, for which he received the 2014 CAV award with Patrice Godefroid, Antti Valmari and Pierre Wolper. Together with Mihalis Yannakakis and Moshe Vardi he developed black box checking,[8] a method for automatically verifying black box systems. Together with Klaus Havelund he developed the tool DejaVu[9] for the runtime verification of sequences of events with lots of data.