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.

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.

[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 Klaus Havelund he developed the tool DejaVu[9] for the runtime verification of sequences of events with lots of data.