Doron A. Peled
Doron A. Peled 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
and the author of the book Software Reliability Methods.
Biography
Doron Peled was born on March 8, 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.