Doron A. Peled
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]
Biography
[edit]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]
Research
[edit]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.[1] 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.
Books
[edit]- Clarke, Edmund M.; Grumberg, Orna; Peled, Doron A. (1999). Model Checking. Cambridge, Mass: MIT Press. ISBN 9780262032704.
- Peled, Doron (2001). Software Reliability Methods. New York: Springer. ISBN 978-0-387-95106-5.
References
[edit]- ^ a b 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.
- ^ Doron Peled - Homepage, Department of Computer Science, Bar-Ilan University
- ^ Department of Computer Science, Bar-Ilan University
- ^ Doron Peled, Google Scholar
- ^ Peled, Doron (1993). "All from one, one for all: on model checking using representatives". Computer Aided Verification. Lecture Notes in Computer Science. Vol. 697. pp. 409–423. doi:10.1007/3-540-56922-7_34. ISBN 978-3-540-56922-0. ISSN 0302-9743.
- ^ Peled, Doron; Vardi, Moshe Y.; Yannakakis, Mihalis (1999). "Black Box Checking". Formal Methods for Protocol Engineering and Distributed Systems. IFIP Advances in Information and Communication Technology. Vol. 28. pp. 225–240. doi:10.1007/978-0-387-35578-8_13. ISBN 978-1-4757-5270-0. ISSN 1868-4238.
- ^ Havelund, Klaus; Peled, Doron; Ulus, Dogan (2017). "First-order temporal logic monitoring with BDDs". Formal Methods in System Design. FMCAD '17. 56 (1–3): 116–123. ISBN 9780983567875.
