Doron A. Peled (born 1962) ( he, דורון אנשל פלד) is a
computer science Professor at
Bar-Ilan University.
His research interests include
formal methods,
model checking
In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems ...
,
program synthesis and
runtime verification Runtime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties. Some very p ...
.
With
Edmund M. Clarke
Edmund Melson Clarke, Jr. (July 27, 1945 – December 22, 2020) was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor ...
and
Orna Grumberg
Orna Grumberg ( he, ארנה גרימברג; born April 30, 1952 in Hadera near Haifa) is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion.
Grumberg is noted for developing model checking, a method for form ...
, he is the coauthor of the book Model Checking (
MIT Press, 1999)
and the author of the book Software Reliability Methods (
Springer Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.
Originally founded in 1842 in ...
, 2000).
Biography
Doron Peled
[Doron Peled - Homepage, Department of Computer Science, Bar-Ilan University]
/ref> 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
Amir Pnueli ( he, אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.
Biography
Pnueli was born in Nahalal, in the British Mandate of Palestine (now in Israel) and rec ...
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.[Department of Computer Science, Bar-Ilan University]
/ref>
Research
Peled is known for his contribution in computer science in the area of formal methods.[Doron Peled, Google Scholar]
/ref> This includes partial order reduction,CAV CAV and Cav may refer to:
* Cav., in botany, a designator for plants named by Antonio José Cavanilles
* ''Cavaliere'' or Cav., an Italian order of knighthood
* '' Cavalleria rusticana'', an opera often played as a double bill with ''Pagliacci'', ...
award with Patrice Godefroid, Antti Valmari and Pierre Wolper.runtime verification Runtime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties. Some very p ...
of sequences of events with lots of data.
Books
*
*
References
{{DEFAULTSORT:Peled, Doron A.
Living people
Israeli computer scientists
1962 births
Academic staff of Bar-Ilan University
Technion – Israel Institute of Technology alumni