Doron A. Peled (Hebrew: דורון אנשל פלד; born in 1962) is a computer science professor at Bar-Ilan University. His research areas include formal methods, model checking, program synthesis, and runtime verification. He coauthored the book Model Checking (MIT Press, 1999) with Edmund M. Clarke and Orna Grumberg. He also wrote the book Software Reliability Methods (Springer Verlag, 2000).
Biography
Doron Peled was born on April 10, 1962, in Haifa. He earned his Doctor of Science degree in computer science from the Technion – Israel Institute of Technology in 1991. His research focused on verification methods in temporal logic, and he studied under the guidance of Prof. Shmuel Katz and Prof. Amir Pnueli. After completing a year of post-doctoral research at the University of Warwick, he worked at Bell Labs from 1992 to 2001. Later, he became an assistant professor at the University of Texas at Austin and then a professor and head of the software engineering department at the University of Warwick.
In 2006, Doron returned to Israel and began working as a professor of computer science at Bar-Ilan University. He served as the department chair from 2013 to 2016.
Research
Peled is known for his work in computer science, especially in the area of formal methods. This includes partial order reduction, a method that helps reduce the time and space needed to automatically verify a concurrent system. He received the 2014 CAV award for this work with Patrice Godefroid, Antti Valmari, and Pierre Wolper. With Mihalis Yannakakis and Moshe Vardi, he developed black box checking, a method to automatically verify black box systems. He also created the tool DejaVu with Klaus Havelund for runtime verification of sequences of events that involve large amounts of data.
Books
- Clarke, Edmund M.; Grumberg, Orna; Peled, Doron A. (1999). Model Checking. Published in Cambridge, Massachusetts by MIT Press. ISBN 9780262032704.
- Peled, Doron (2001). Software Reliability Methods. Published in New York by Springer. ISBN 978-0-387-95106-5.